function butover(id){document.getElementById(id).style='border: 1px inset black; opacity: 1.0;';}
function butout(id){document.getElementById(id).style='border: 1px outset black;  opacity: 0.95;';}