// JavaScript Document
 function cambiacolore(obj,on)
 {
  obj.style.backgroundColor = (on==true) ? "yellow" : "#EEEEEE";
 }