@string{jan = {January}}

@string{feb = {February}}

@string{mar = {March}}

@string{apr = {April}}

@string{may = {May}}

@string{jun = {June}}

@string{jul = {July}}

@string{aug = {August}}

@string{sep = {September}}

@string{oct = {October}}

@string{nov = {November}}

@string{dec = {December}}

