document.write ("742 ");