document.write ("6777");