function onover(id,active){
	el = document.getElementById(id);
	if (el) {
		if (el.src.indexOf('_over') == -1 && el.src.indexOf('_active') == -1) {
			if (active) {
				el.src = el.src.replace('.gif','_active.gif');		
			} else {
				el.src = el.src.replace('.gif','_over.gif');
			}
		}
	}
}
function onout(id){
	active = active_element;
	if(id != active){
		el = document.getElementById(id);
		el.src = el.src.replace('_over','');
	}
}

function init(){
	onover(active_element,true);
}