document.write('10319 ');