document.write('009412');