document.write ("6875")