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