Date and Time Format Question…

I’ve searched the template tags/Codex and the forums but as yet not managed to come across an answer.

Right now if I use the standard time/date formatting using the code below I get the output listed below.

Code:
<?php the_time('F jS'); ?>

Output:
August 22nd

What I’m after however is the abbreviated form of the month (e.g. “Aug” instead of “August” and “Sep” instead of “September”. Is this possible and if so, how do I go about achieving it? Thanks in advance.

c0y0te