document.write (" 11950 ");