document.write (" 17442 ");