function selOn(ctrl) {
	ctrl.style.borderColor = '#000000';
	ctrl.style.backgroundColor = '#B0B080';
	ctrl.style.cursor = 'hand';	
  }
  
function selOff(ctrl) {
	ctrl.style.borderColor = '#FFFFF0';  
	ctrl.style.backgroundColor = '#FFFFF0';
  }
  
function selDown(ctrl) {
	ctrl.style.backgroundColor = '#808040';
  }
  
function selUp(ctrl) {
  ctrl.style.backgroundColor = '#B0B080';
  }