/*
var oldHover;

function hovering(obj) {
	if(oldHover) {
		oldHover.parentNode.style.backgroundImage = 'url(\'gfx/tabmenu_l.gif\')';
		oldHover.style.backgroundImage = 'url(\'gfx/tabmenu_r.gif\')';
	}
	if(obj) {
		obj.parentNode.style.backgroundImage = 'url(\'gfx/tabmenu_l_hover.gif\')';
		obj.style.backgroundImage = 'url(\'gfx/tabmenu_r_hover.gif\')';
		oldHover = obj;
	}
}
*/

function hovering(obj) {
	if($('hover')) $('hover').id = '';
	if(obj) obj.id = 'hover';
}
function $(id) {
	return document.getElementById(id);
}