title: function for converting time to number of seconds
body: <p>On our site, we have a lot of swimming times that we would like to convert to seconds.  i.e. 1:23:33.03 or 58:22.43.  Is there a PHP function that can do this?  A MySQL function?</p>