document.write ("6842");