function high(imgname)
{
  document[imgname].src="../img/" + imgname + "-a.gif";
}

function low(imgname)
{
  document[imgname].src="../img/" + imgname + ".gif";
}

function linie(x)
{
if (document.all) x.blur();
}