document.write('00012393');