document.write (" 9494 ");