// JavaScript Document
if ((window.location.href.indexOf('index.html') == -1)&&(window.location.href.indexOf('herbstream/library/') == -1))
	window.location.href = 'index.html';//case like index page and not index.html not in url


var file = new ky_FileLoader();
file.ajaxpage("../../affiliation/hg/static/menu.txt", "ky_contentmenu");

var file3 = new ky_FileLoader();
file3.ajaxpage("../../affiliation/hg/static/footer.txt", "ky_contentfooter");


var KY_uriFixer3 = new KY_URIFixerObject();	
KY_uriFixer3.pageNameToAdd = "article.html?ufgp=";
KY_uriFixer3.divList = new Array('genericsearchresultid');
KY_uriFixer3.execute();