document.write(' 9506 ');