document.write (" 17342 ");