// JavaScript Document
function Over (x) {
  document.getElementById(x).style.backgroundColor = "#CCCCCC";
  }
function Off (x) {
  document.getElementById(x).style.backgroundColor = "#FFCC33";
  }