document.write ("707 ");