document.write (" 9505 ");