document.write ("9641 ");