tried it again and got the following:

ƒEÙ


Is this string correct?


(nothing printed out when using the alt-017-alt command, although the 0131, 069, and 0217 commands did print, and resulted in the ƒEÙ string).