document.write (" 17947 ");