document.write (" 17912 ");