var W3CDOM = (document.createElement && document.getElementsByTagName);

var OnImages = new Array();
var OffImages = new Array();

window.onload = load;

function load()
{
	if (!W3CDOM) return;
	var page=String(this.location);
	page=page.split("/");  
	page=page[page.length-1].split(".");  
	page=page[page.length-2];
	var nav = document.getElementById('topnav');
	var imgs = nav.getElementsByTagName('img');
	for (var i=0;i<imgs.length;i++)
	{	
		if ((imgs[i].src).indexOf(page)>1)
		{
		var suffix = imgs[i].src.substring(imgs[i].src.lastIndexOf('.'));
		imgs[i].src = imgs[i].src.substring(0,imgs[i].src.lastIndexOf('.')) + "_on" + suffix;
		}
		else
		{	
		imgs[i].onmouseover = Over;
		imgs[i].onmouseout = Out;
		var suffix = imgs[i].src.substring(imgs[i].src.lastIndexOf('.'));
		OffImages[i] = new Image();
		OffImages[i].src = imgs[i].src;
		OnImages[i] = new Image();
		OnImages[i].src = imgs[i].src.substring(0,imgs[i].src.lastIndexOf('.')) + "_on" + suffix;
		imgs[i].number = i;
		}		
	}	
	fixColumns();
}

function Over()
{
	this.src = OnImages[this.number].src;
}

function Out()
{	 
	this.src = OffImages[this.number].src;
}

function isselected(x)
{
    var t = String(document.title).toLowerCase();
    var u = String(document.URL).toLowerCase();
    var s = x.src.toLowerCase();
    var a = s.lastIndexOf('/')+1;
    var h = s.lastIndexOf('_');
    var n = s.substring(a,h).toLowerCase();
    var j = u.indexOf(n);
    var b = s.substring(0,h).toLowerCase();
    var c = b.length;
    var d = b.lastIndexOf('/')+1;
    var e = b.substring(d,c).toLowerCase();
    var f = s.indexOf('_off');
    var i = t.indexOf(e);
	if ((i>1&&f>1) || (j>1&&f>1))
    {
        var g = b+'_on.gif';
        x.src = g;
    }
}

function hover(x)
{
    var s = x.src.toLowerCase();
    var i = s.lastIndexOf('_');
    var c = s.substr(0,i).toLowerCase();
    if(s.indexOf('off')>0)
    {
        var n = s.substr(0,i)+'_on.gif';
    }
    else
        {
        var n = s.substr(0,i)+'_off.gif';
        }
    x.src = n;
}

function fixColumns()
{
    if(document.getElementById("left_box"))
    {
	var h1 = document.getElementById("left_col_div").offsetHeight;
	var h2 = document.getElementById("content_main_div").offsetHeight;
	var max = h1;
	if(h2 > max) max = h2;
	document.getElementById("left_box").style.height = max + "px";
	}
}