document.write('011943');