document.write (" 3950 ");