document.write('19380 ');