def padTime(timestring):
    """
    Returns a 12 digit string as time by padding any missing month, day, hour
    or minute values.
    """
    padder = "000001010000"
    if len(timestring) < 12:
        timestring = timestring + (padder[len(timestring):])
    return timestring