document.write('02393');