punicode encoding/decoding with javascript