document.write('19934 ');