document.write('0842')