document.write('6712')