function switchpic(img, src)
{
document.images[img].src=src;
}

function changeunderline(id, mouse, bstate)
{
var el = document.getElementById('underline' + id)

if (mouse=='over')
  {
  el.style.backgroundColor=darkblue;
  }
if (mouse=='out')
  {
  var bgcolor='';
  if (bstate==1) bgcolor=darkblue;
  el.style.backgroundColor=bgcolor;
  }
}