document.write (" 17140 ");