var old_ie = false;

function hover(obj, color){
	var colors = { 'dark' : '#333', 'light': '#999' };
	if ( old_ie ){
		var clr  = ( colors[ color ] == undefined ) ? '' : colors[color];
		obj.style.borderLeftColor = clr;
	}
}