document.write (" 10988 ");