document.write(' 10493 ');