window.gettext = window.ngettext = function(s){return s;};