document.write('10493 ');