Replace the escapeHTML() by a more efficient one