let
formatSJn k = formatSJ res 63 k