document.write (" 5950 ");