document.write (" 10134 ");