function mouse_over($elem){
	$elem.style.border = "1px solid #000066";
	$elem.style.backgroundColor = "#FFFF66";
	$elem.style.cursor="pointer";
}
function mouse_out($elem){
	$elem.style.border = "1px solid #ffff00";
	$elem.style.backgroundColor = "#FFFF00";
	$elem.style.cursor="";
}
function mouse_down($id){
	window.location = "?id=" + $id;
	$elem.style.cursor="pointer";
}