document.write (" 7900 ");