document.write ("6875");