function gettext(str){
  return str;
}