document.write (" 17142 ");