function lightup( which )
{
   var newname = "images/towbuttons2/PT" + which + "A.gif"
   document.images[which].src = newname;
}

function darken( which )
{
   var newname = "images/towbuttons2/PT" + which + ".gif"
   document.images[which].src = newname;
}