/* Preloader for navigation bar images */nav1 = new Image(); nav1.src = "../images/nav_hm_on.gif";nav2 = new Image(); nav2.src = "../images/nav_bb_on.gif";nav3 = new Image(); nav3.src = "../images/nav_bc_on.gif";nav4 = new Image(); nav4.src = "../images/nav_ap_on.gif";nav5 = new Image(); nav5.src = "../images/nav_sc_on.gif";nav6 = new Image(); nav6.src = "../images/nav_ab_on.gif";/* Script that equalizes the height of 2 or more divs*/function $() {	var elements = new Array();	for (var i=0;i<arguments.length;i++) {		var element = arguments[i];		if (typeof element == 'string') element = document.getElementById(element);		if (arguments.length == 1) return element;		elements.push(element);	}	return elements;}var BoxHeights = {	maxh: 0,	boxes: Array(),	num: 0,	equalise: function() {		this.num = arguments.length;		for (var i=0;i<this.num;i++) if (!$(arguments[i])) return;		this.boxes = arguments;		this.maxheight();		for (var i=0;i<this.num;i++) $(arguments[i]).style.height = this.maxh+"px";	},	maxheight: function() {		var heights = new Array();		for (var i=0;i<this.num;i++) {			if (navigator.userAgent.toLowerCase().indexOf('opera') == -1) {				heights.push($(this.boxes[i]).scrollHeight);			} else {				heights.push($(this.boxes[i]).offsetHeight);			}		}		heights.sort(this.sortNumeric);		this.maxh = heights[this.num-1];	},	sortNumeric: function(f,s) {		return f-s;	}}