document.write ("6714");