what would be the python code to add time to a specific timestamp?,"k.strftime('%H:%M:%S,%f ')"