document.write('3372\n');