var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
url = setParam(url,"param.embedkeys", getEmbedKeys());
var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
url = setParam(url,"param.embedkeys", getEmbedKeys());