document.write (" 11862 ");