
var HIGHDIV;
var vzttimeout;
var counter = 0;

function highlight( divid )
{
	counter=0;
	HIGHDIV = divid;
	vzttimeout = setTimeout(start, 0)
	
}

function start() {
	counter=0;
	vzttimeout = setInterval(position, 25);
}

function position()
{
	counter = counter + 1;
	
	height = 31 - counter;
	
	document.getElementById( HIGHDIV ).style.height = height + "px";
	document.getElementById( HIGHDIV ).style.borderBottom = counter + 'px solid #b9bf03';
	
	if ( counter >= 4 )
		clearTimeout(vzttimeout);
		
}

function highlightoff( divid )
{
	clearTimeout(vzttimeout);
	HIGHDIV = divid;
	
	document.getElementById( HIGHDIV ).style.height = '31px';
	document.getElementById( HIGHDIV ).style.borderBottom = '0';
}