document.write ("708 ");