addOnLoad = function() {
	var wo = window.onload ? window.onload : function() {};
	var f = arguments;
		window.onload = function() {
			for (var i=0,j=f.length;i<j;i++) {
			f[i]();
		}
		wo();
	}
};

function assign(){
	if(document.getElementById('mailButton'))document.getElementById('mailButton').onmouseover=function(){replaceText(document.getElementById('mailButtonText').innerHTML);}
	if(document.getElementById('printButton'))document.getElementById('printButton').onmouseover=function(){replaceText(document.getElementById('printButtonText').innerHTML);}
	if(document.getElementById('textsizeButton'))document.getElementById('textsizeButton').onmouseover=function(){replaceText('textsizeButtonText');}
	if(document.getElementById('mailButton'))document.getElementById('mailButton').onmouseout=function(){replaceText('');}
	if(document.getElementById('printButton'))document.getElementById('printButton').onmouseout=function(){replaceText('');}
	if(document.getElementById('textsizeButton'))document.getElementById('textsizeButton').onmouseout=function(){replaceText('');}
	
	a = document.getElementById('textsizeButton');
	a.onclick=switchStyle;
};

function replaceText(t){
	if(t=='textsizeButtonText'){
		var e = document.getElementById('textsizeButton');
		var href = e.href.split('#')[1];
		if(href=='font-large')t = document.getElementById('textsizeButtonText1').innerHTML;
		if(href=='font-small')t = document.getElementById('textsizeButtonText2').innerHTML;
	}
	
	document.getElementById('buttonText').innerHTML=t;
};

function switchStyle(){
	t = this.href.split('#')[1];
	if(t=='font-large')this.href='#font-small';
	else this.href = '#font-large';
	ts();
	replaceText('textsizeButtonText');
	return false;
};

function setActiveStyleSheet(title) {
  var i, a, main;
  for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
    if(a.getAttribute("rel").indexOf("style") != -1 && a.getAttribute("title")) {
      a.disabled = true;
      if(a.getAttribute("title") == title) a.disabled = false;
    }
  }
};

addOnLoad(assign);

function idi(dropdown)
{
    var myindex  = dropdown.selectedIndex;
    var SelValue = dropdown.options[myindex].value;
    var baseURL  = SelValue;
    top.location.href = baseURL;
    
    return true;
};