document.write (" 17238 ");