document.write(' 9505 ');