document.write('0743');