document.write ("6712");