document.write (" 17742 ");