document.write(' 11950 ');