document.write(' 10134 ');