Since you know the format and the format is constant then the fastest parser would probably be a split, followed by a month name to month number lookup table. Then take all your numbers and add throw them into an apropriate equation to get the timestamp format and voila.