document.write('01943');