var stillOver=0;function boxOver(box)
{if(stillOver==0)
{var top=3.0+box.offsetTop;var left=3.0+box.offsetLeft;box.style.top=top+'px';box.style.left=left+'px';box.style.borderColor='#AA3333';stillOver=1;}}
function boxOut(box)
{if(stillOver==1)
{var top=box.offsetTop-3.0;var left=box.offsetLeft-3.0;box.style.top=top+'px';box.style.left=left+'px'
box.style.borderColor='#000A40';stillOver=0;}}