var hover_class;
var hover_element;

var hover_action = null;
var hover_action_done = true;

function hover( css_class_name, the_element, timeout )
{
    if(timeout == null) timeout = 0;
    
    if(!hover_action_done) {
        clearTimeout( hover_action );
        if(hover_element != the_element) {
            do_hover();
        }
    }
    
    hover_class = css_class_name;
    hover_element = the_element;
    hover_action_done = false;
    hover_action = setTimeout( 'do_hover()', timeout );
}

function do_hover()
{
	hover_element.className = hover_class;
	hover_action_done = true;
}