document.write('01126');