document.write (" 18988 ");