title: How to convert a time format in hhmmss.mm to normal time in R?
body: <p>I have a time format written in hhmmss.mm, such 225014.09 imported from a table.
  It's earthquake time. I wanna transform it into 22:50:14(:09?) in R. </p>
  
  <p>I don't know what to do with the milliseconds. It should be the above way. Can anyone help me out? I've searched and searched, but couldn't find the answer.</p>