def namefromcycle(cyclenumber, version='1.2'):

    """Return the dataset name corresponding to the given cycle number.

    SE 1.0 and 1.1 used dashes; SE 1.2 uses zero-padded integers with
    10-digit field width.
    """

    if version == '1.2':
        return 'cycle%010d' % cyclenumber
    else:
        return 'cycle-' + str(cyclenumber)