document.write (" 10494 ");