var $imgpath = 'images/';
function hoverOn(a) {
	$("img#img_" + a).attr({
		src: $imgpath + "" + a + "_hv.jpg"
	})
}
function hoverOff(a) {
	if ($("div#selected").html() != a) {
		$("img#img_" + a).attr({
			src: $imgpath + "" + a + "_nm.jpg"
		})
	}
}
function hoverTxtOn(a) {
	$("img#txt_" + a).attr({
		src: $imgpath + "" + a + "_hv.jpg"
	})
}
function hoverTxtOff(a) {
	if ($("div#selected").html() != a) {
		$("img#txt_" + a).attr({
			src: $imgpath + "" + a + "_nm.jpg"
		})
	}
}