>= 12 3