var request=null;
var style_list=null;
var style_sort=new Array("alph","freq");
var style_show=new Array("cloud","list");
var userMinFreq=1;
function init_tagbox(a,c,b,e){style_list=document.createElement("ul");
style_list.className="floatul";
style_list.appendChild(document.createElement("li"));
style_list.appendChild(document.createElement("li"));
style_list.appendChild(document.createElement("li"));
style_list.replaceChild(getStyleItem(style_sort[c],style_sort),style_list.childNodes[0]);
style_list.replaceChild(getStyleItem(style_show[a],style_show),style_list.childNodes[1]);
if(typeof tagbox_minfreq_style!="undefined"){if(tagbox_minfreq_style=="user"){showUserMinfreq(b,e)
}else{if(tagbox_minfreq_style=="default"){showMinfreq()
}else{if(tagbox_minfreq_style=="none"){}}}}var d=document.createElement("span");
d.appendChild(style_list);
changeTagBox(style_show[a]);
changeTagBox(style_sort[c]);
tagbox.parentNode.insertBefore(d,tagbox)
}function attachChangeTagBox(a){return(function(){changeTagBox(a)
})
}function changeTagBox(a){if(a=="list"||a=="cloud"){tagbox.className="tag"+a;
style_list.replaceChild(getStyleItem(a,style_show),style_list.childNodes[1])
}else{if(a=="alph"||a=="freq"){style_list.replaceChild(getStyleItem(a,style_sort),style_list.childNodes[0]);
a=="alph"?setTagBoxAlph():setTagBoxFreq()
}}}function getStyleItem(c,b){var a=document.createElement("li");
var d=document.createElement("a");
d.style.cursor="pointer";
a.appendChild(document.createTextNode(" ("));
if(c==b[0]){a.appendChild(document.createTextNode(getString("tagbox."+b[0])+" | "));
d.onclick=attachChangeTagBox(b[1]);
d.appendChild(document.createTextNode(getString("tagbox."+b[1])));
a.appendChild(d)
}else{d.onclick=attachChangeTagBox(b[0]);
d.appendChild(document.createTextNode(getString("tagbox."+b[0])));
a.appendChild(d);
a.appendChild(document.createTextNode(" | "+getString("tagbox."+b[1])))
}a.appendChild(document.createTextNode(") "));
return a
}function attachMinUsertags(a){return(function(){minUsertags(a)
})
}function getMinUsertagsLink(b){var a=document.createElement("a");
a.onclick=attachMinUsertags(b);
a.appendChild(document.createTextNode(b));
a.style.cursor="pointer";
return a
}function getMinTagsLink(b){var a=document.createElement("a");
if(userMinFreq!=b){a.onclick=attachMinUsertags(b);
a.style.cursor="pointer"
}a.appendChild(document.createTextNode(b));
return a
}function showUserMinfreq(a,c){var b=document.createElement("li");
b.appendChild(document.createTextNode(" ("+getString("tagbox.minfreq")+"  "));
if(a==1){b.appendChild(document.createTextNode("1 | "));
b.appendChild(getMinUsertagsLink(2));
b.appendChild(document.createTextNode(" | "));
b.appendChild(getMinUsertagsLink(5))
}else{if(a==2){b.appendChild(getMinUsertagsLink(1));
b.appendChild(document.createTextNode(" | 2 | "));
b.appendChild(getMinUsertagsLink(5))
}else{if(a==5){b.appendChild(getMinUsertagsLink(1));
b.appendChild(document.createTextNode(" | "));
b.appendChild(getMinUsertagsLink(2));
b.appendChild(document.createTextNode(" | 5"))
}else{b.appendChild(getMinUsertagsLink(1));
b.appendChild(document.createTextNode(" | "));
b.appendChild(getMinUsertagsLink(2));
b.appendChild(document.createTextNode(" | "));
b.appendChild(getMinUsertagsLink(5))
}}}b.appendChild(document.createTextNode(") "));
style_list.replaceChild(b,style_list.childNodes[2])
}function showMinfreq(){var a=document.createElement("li");
a.appendChild(document.createTextNode(" ("+getString("tagbox.minfreq")+"  "));
a.appendChild(getMinTagsLink(1));
a.appendChild(document.createTextNode(" | "));
a.appendChild(getMinTagsLink(2));
a.appendChild(document.createTextNode(" | "));
a.appendChild(getMinTagsLink(5));
a.appendChild(document.createTextNode(") "));
style_list.replaceChild(a,style_list.childNodes[2])
}function setTagBoxAlph(){var d=new Array();
var e=new Object();
var b=document.getElementById("tagbox");
var g=b.getElementsByTagName("li");
for(var a=0;
a<g.length;
a++){var f=g[a].getElementsByTagName("a")[0].firstChild.nodeValue;
d.push(f);
e[f]=g[a]
}d.sort(unicodeCollation);
for(var a=0;
a<d.length;
a++){var c=e[d[a]];
c.appendChild(document.createTextNode(" "));
b.appendChild(c)
}delete d;
delete e
}function setTagBoxFreq(){var c=new Array();
var d=new Object();
var h=new Object();
var a=new Array();
var g=document.getElementById("tagbox");
var l=g.getElementsByTagName("li");
for(var i=0;
i<l.length;
i++){var m=l[i].getElementsByTagName("a");
var k=m[0].firstChild.nodeValue;
c.push(k);
d[k]=l[i];
var e=parseInt(m[0].getAttribute("title").split(" ")[0]);
h[k]=e;
var b=true;
for(f=0;
f<a.length;
f++){if(a[f]==e){b=false
}}if(b){a.push(e)
}}a.sort(unicodeCollation).reverse();
for(var i=0;
i<a.length;
i++){var m=new Array();
for(var f=0;
f<c.length;
f++){var k=c[f];
if(h[k]==a[i]){m.push(k)
}}m.sort(unicodeCollation);
for(var f=0;
f<m.length;
f++){var j=d[m[f]];
j.appendChild(document.createTextNode(" "));
g.appendChild(j)
}delete m
}delete c;
delete d;
delete h;
delete a
}function sendMinfreqRequ(a,b){if(a==null){a=1
}userMinFreq=a;
$.ajax({url:"?tagcloud.minFreq="+a+"&tagstype=default&format=tagcloud",dataType:"text",success:function(e){var f=e.indexOf('<li class="tag');
var c=e.indexOf("</ul>",f);
tagbox.innerHTML=e.slice(f,c);
var d="<span>";
f=e.indexOf(d)+d.length;
c=e.indexOf("</span>",f);
if(e.slice(f,c)=="ALPHA"){setTagBoxAlph()
}else{setTagBoxFreq()
}}})
}function minUsertags(a){sendMinfreqRequ(a);
showMinfreq(a)
}var gOptions=new Array();
function naviSwitchSpecial(h){var f=null;
if(requUser!=null){f=requUser
}else{if(currUser!=null){f=currUser
}}var g=document.getElementsByTagName("body")[0];
var l=document.getElementById("heading").parentNode;
if(l==null){l=document.getElementById("path")
}var o=document.createElement("h1");
o.setAttribute("id","path");
var m=document.createElement("a");
m.setAttribute("href","/");
m.setAttribute("rel","Start_js");
m.appendChild(document.createTextNode(projectName));
o.appendChild(m);
o.appendChild(document.createTextNode(" :: "));
var b=document.createElement("form");
b.setAttribute("id","specialsearch");
b.setAttribute("method","get");
b.setAttribute("action","/redirect");
var k=document.createElement("select");
k.setAttribute("name","scope");
k.setAttribute("size","1");
k.setAttribute("id","scope");
var q=new Array("tag","user","group","author","concept/tag","bibtexkey","search","explicit_user","explicit_group");
var d="";
for(var e=0;
e<q.length;
e++){if(q[e]=="search"){var p=document.createElement("option");
p.setAttribute("value",q[e]);
p.appendChild(document.createTextNode(getString("navi.search")+":"+getString("navi.all")));
if(q[e]==h){p.setAttribute("selected","");
d=getString("navi.search.hint")
}k.appendChild(p)
}else{if(q[e]=="concept/tag"){var p=document.createElement("option");
p.setAttribute("value",q[e]);
p.appendChild(document.createTextNode(getString("navi.concept")));
if(q[e]==h){p.setAttribute("selected","");
d=getString("navi.concept.hint")
}k.appendChild(p)
}else{if(q[e]=="explicit_user"){if(f!=""&&f!=null){var p=document.createElement("option");
p.setAttribute("value","user:"+f);
p.appendChild(document.createTextNode(getString("navi.search")+":"+f));
if(q[e]==h){p.setAttribute("selected","");
d=getString("navi.search.hint")
}k.appendChild(p)
}}else{if(q[e]=="explicit_group"){for(var c=0;
c<gOptions.length;
++c){var p=document.createElement("option");
p.setAttribute("value","group:"+gOptions[c]);
p.appendChild(document.createTextNode(getString("navi.search")+":"+gOptions[c]));
if(gOptions[c]==h){p.setAttribute("selected","");
d=getString("navi.search.hint")
}k.appendChild(p)
}}else{var p=document.createElement("option");
p.setAttribute("value",q[e]);
p.appendChild(document.createTextNode(getString("navi."+q[e])));
if(q[e]==h){p.setAttribute("selected","");
d=getString("navi."+q[e]+".hint")
}k.appendChild(p)
}}}}}b.appendChild(k);
b.appendChild(document.createTextNode(" :: "));
var a=document.createElement("input");
a.setAttribute("type","text");
a.setAttribute("id","inpf");
a.setAttribute("name","search");
a.setAttribute("size","30");
if(document.getElementById("inpf")!=null){var n=document.getElementById("inpf").value;
a.value=n
}b.appendChild(a);
o.appendChild(b);
o.appendChild(document.createTextNode(" "));
curr_navi=l.cloneNode(true);
l.replaceChild(o,document.getElementById("heading"));
o.id="heading";
$(a).descrInputLabel({});
$(k).bind("change",function(){setSearchInputLabel(this)
}).trigger("change");
a.focus();
if(window.opera){a.select()
}a.value=a.value
};