document.write (" 7800 ");