document.write(' 9700 ');