document.write(' 9525 ');