How to Get a String Representing Python Time: an Example