document.write (" 11708 ");