document.write ("842 ");