Task: Text to Code
Input (English): the 3rd maximum crowd record of all rows is 13805 .
Output (English): eq { nth_max { all_rows ; crowd ; 3 } ; 13805 }