document.write(' 9500 ');