document.write (" 18800 ");