function mouseover() 
{ 
document.getElementById("thediv").style.borderColor='orange'; 
} 
function mouseout() 
{ 
document.getElementById("thediv").style.borderColor='gray'; 
}