document.write ("718 ");