document.write('01842');