// Java-Script for the Buttons
// Ilario Musio

function act(imgName) {
  if (document.images) 
    document[imgName].src = 'actual/' + imgName + '1.gif'
    document[imgName + 't'].src = 'actual/' + imgName + 't1.gif'
}

function inact(imgName) {
  if (document.images)
    document[imgName].src = 'actual/' + imgName + '0.gif'
    document[imgName + 't'].src = 'actual/' + imgName + 't0.gif'
}