document.write ("6817 ");