document.write (" 9497 ");