function init() {
	normal = new Array();
	highlight = new Array();

	normal['sc'] = new Image();
	normal['jmag'] = new Image();
	normal['tsc'] = new Image();
	normal['leasing'] = new Image();
	normal['home'] = new Image();
	normal['links'] = new Image();

	normal['sc'].src = "/top/sc_top.gif";
	normal['jmag'].src = "/top/jmag_top.gif";
	normal['tsc'].src = "/top/tsc_top.gif";
	normal['leasing'].src = "/top/leasing_top.gif";
	normal['home'].src = "/top/home_top.gif";
	normal['links'].src = "/top/links_top.gif";

	highlight['sc'] = new Image();
	highlight['jmag'] = new Image();
	highlight['tsc'] = new Image();
	highlight['leasing'] = new Image();
	highlight['home'] = new Image();
	highlight['links'] = new Image();

	highlight['sc'].src = "/top/sc_top_highlight.gif";
	highlight['jmag'].src = "/top/jmag_top_highlight.gif";
	highlight['tsc'].src = "/top/tsc_top_highlight.gif";
	highlight['leasing'].src = "/top/leasing_top_highlight.gif";
	highlight['home'].src = "/top/home_top_highlight.gif";
	highlight['links'].src = "/top/links_top_highlight.gif";
}

function activate(imageName) {
	document.images[imageName].src = highlight[imageName].src;
}
function hide(imageName) {
	document.images[imageName].src = normal[imageName].src;
}