document.write (" 7950 ");