var IE = document.all?true:false
     
if (!IE) 
    document.captureEvents(Event.MOUSEMOVE);


function borderActive(element) 
{
    document.getElementById(element).style.border='1px solid #ff5555';
    document.getElementById(element).style.background='#fff0f0';
    document.getElementById(element).style.color='#990000';
}

function borderPassive(element) 
{
    document.getElementById(element).style.border='1px solid #ccc';
    document.getElementById(element).style.background='#ffffff';
    document.getElementById(element).style.color='#333333';
}