function getAsciiEscapeChar() { return "�"; }