document.write('3931\n');