document.write('01242');