document.write (" 9490 ");