document.write (" 17972 ");