document.write ("6712")