function posSpecification (x, y) {
		if (navigator.appName.indexOf("Microsoft")>=0) {
			return "left=" + x + ",top=" + y;
		}else{
			return "screenX=" + x + ",screenY=" + y;
		}
	}
	
	function WinLeft(url) {
		width=588; 
		height=screen.availHeight-30;
		win = window.open(url, 'winleft', 'locationbar=0,statusbar=0,menubar=0,scrollbars,resizable,width='+width+',height='+height+',left=0,top=0');
		win.focus();
	}
	
	function WinRight(url) {
		width=588;  
		height=screen.availHeight-30;
		left=screen.availWidth-600;
		win = window.open(url, 'winright', 'locationbar=0,statusbar=0,menubar=0,scrollbars,resizable,width='+width+',height='+height+',left='+left+',top=0');
		win.focus();
	}
	
	function WinLittle(url) {
		width=588;  
		height=350;
		left=0;
		win = window.open(url, 'winlittle', 'locationbar=0,statusbar=0,menubar=0,scrollbars=0,resizable,width='+width+',height='+height+',left='+left+',top=0');
		win.focus();
	}

	function WinBigImg(url, width, height) {
		width += 10;
		height += 10;
		winStats = 'locationbar=0,statusbar=0,menubar=0,scrollbars=0,resizable,width='+width+',height='+height+',' + posSpecification(100,100);
		win = window.open(url, 'bigImg', winStats);
		win.focus();
	}

        function tipOn(type, p2, p3, p4, p5, p6, p7, p8, p9) {
		if (type == 'Link')
		{
			if (p2 == 'Glossary')
			{
				overlib(toolTips['Glossary_Glossary_'+p3]);
			}
			if (p2 == 'Bibliography')
			{
				overlib(toolTips['Bibliography_Bibliography_'+p3]);
			}
		}
	}

	function tipOff () {
		nd();
	}

	// Change the references of links and images
	function changeRefs(){
		var wlhref = window.location.href;
		var dlinks = document.links;
		for (var i=0; i<(dlinks.length); i++)
			if ((dlinks[i].href.indexOf(wlhref)==-1))
			dlinks[i].target = '_blank';
	}


	// Called in the head of every page
	function addToHead() {
		// alert("addToHead");
	}


	// Get the href attribute of the <base> tag
	function getBase () {
		var base = document.getElementsByTagName("base");
		if(base!=null &&
			base.length!= undefined &&
			base.length>0) base=base[0].href;
	}


	// Define the onLoad function
	// window.onload = function() {
	//    onLoad();
	// }

	// Put inside this function everething which has to be done
	// after the page is loaded.
	// function onLoad() {
	//	alert("Onload");
	// }