document.write('013943');