function ButtonUp(param) {
  param.style.border="1px outset";
  param.style.background="#BFBEBE";
}