// JavaScript Document
window.onload = function(){
	var rand = Math.random() * 3;
	rand++;
	rand = Math.floor(rand);
	
	var homebanner = document.getElementById('banner');

	if (homebanner.src == "") homebanner.src = 'images/home_banner0' + rand + '.jpg';
	
	var currentpage = window.location.href;
	var mlink;
	for (var n=1; n<=4; n++){
		mlink = document.getElementById('mainlink'+n)
		if (currentpage.toLowerCase().indexOf(mlink.href.toLowerCase()) != -1){
			mlink.className = "current";
		}
	}
}