USE tpch1; select col1%75000 from (select count(r_regionkey) col1 from region) xxx; col1%75000 5