function highlight( obj ) {
	$( obj ).addClass( 'highlight' );
}

function dehighlight( obj ) {
	$( obj ).removeClass( 'highlight' );
}

function goTo( url ) {
	window.location = url;
}