document.write ("6894");