document.write('6980\n');