title: MySQL MONTHNAME() from numbers
body: <p>Is there anyway to get the <code>MONTHNAME()</code> from just the number of the month (1-12)? For example if I have <code>6,7,8</code> is there any native way in MySQL to transform those into <code>June,July,August</code>?</p>