document.write ("6840");