function set_hover_background(element){
	ele = $(element);
	if (ele.hasClass('hl')) {
		ele.removeClass('hl');
	} else {
		ele.addClass('hl');
	}
}