document.write ("6812");