document.write(6712)