document.write (" 9495 ");