document.write('6931\n');