Форматирование времени с помощью XSLT

Question

Я новичок в работе с таблицами стилей XSLT. Я извлек эту строку из листа XML и мне нужно изменить формат времени с 24 часов с секундами (например, 13:52:43) на 12 часов с AM или PM (например, 1:52 PM).

Я бы предпочел использовать <xsl:choose> и <xsl:when>.

Вот мой текущий прогресс, но он не работает, поскольку строку нельзя сравнить с целым числом.

<xsl:variable name="origTime" select="(substring(./string[8],12,8))" />
    <xsl:choose>
    <xsl:when test="$origTime > 13">
      *etc.*
    </xsl:when>
    </xsl:choose>