document.write(' 7000 ');