document.write('0842');