document.write('01412');