// JavaScript Document

var coloreritorno = "";
 
function over(val)
 { coloreritorno = val.style.color;
   val.style.color = '#666666'; }

function out(val)
 { val.style.color = coloreritorno;  }