@PUNYENCODE[s,string] : Encode a Punycode string.

@PUNYENCODE[inputfile,outputfile] : Encode a Punycode file.