document.write ("7256")