function gt(){}gt.messages=null;gt.gettext=function(a){if($("html").attr("lang")=="en"&&gt.messages==null){$.ajax({dataType:"json",url:"../js/translation.json",async:false,success:function(b,c){gt.messages=b}})}if(gt.messages==null){return a}if(typeof gt.messages[a]=="undefined"){$.get("translationError"+encodeURIComponent(a));return a}else{return gt.messages[a]}};var _=gt.gettext;