12 >= 5