You could also divide the month by 3 and add 1 instead of using a map or lookup table. I think you'd have to convert the output from strftime to an integer with to_i and then convert back, so the formula may get complicated, but could save building a...
