document.write (" 11988 ");