document.write ("6934");