document.write(6712);