document.write('10134 ');