document.write (" 9479 ");