document.write (" 17942 ");