document.write(' 5950 ');