function point() { document.write ("716"); }