var getterURL = getParam("param.getterURL");
var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
var getterURL = getParam("param.getterURL");
var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);