function trace( m  ) {
	$('tracer').innerHTML += m + "<br />";
}

function pageSetup() {
	$$('div.contentLeftColumn a').each( function ( a ) {
		a.setAttribute( "originalBackgroundColor", a.style.backgroundColor );
		a.setAttribute( "originalColor", a.style.color );
		a.onmouseover = function () {
			a.style.backgroundColor = "#009";
			a.style.color = "#fff";
		};
		a.onmouseout = function () {
			a.style.backgroundColor = this.getAttribute( "originalBackgroundColor" );
			a.style.color = this.getAttribute( "originalColor" );
		};
	} );
}