function mouseOver(foot)
{document.getElementById(foot).style.top='6px';document.getElementById(foot+'Tx').style.color='#3333AA';document.getElementById(foot+'Tx').style.textDecoration='underline';}
function mouseOut(foot)
{document.getElementById(foot).style.top='12px';document.getElementById(foot+'Tx').style.color='#FFFFFF';document.getElementById(foot+'Tx').style.textDecoration='none';}