document.write (" 9525 ");