Actually it can be simpler than that....

=TEXT(A19,"mmm")