document.write('10139 ');