document.write(' 10500 ');