function shine(num)
{ fname="tecla"+num+"b.gif"
  document.images[0+num].src=fname }

function unshine(num)
{ fname="tecla"+num+"a.gif"
  document.images[0+num].src=fname }