document.write(' 10139 ');