var change_enabled = true;

function switchColorIn(obj) {
	obj.style.backgroundColor='#EEEEEE';
}

function switchColorOut(obj) {
	obj.style.backgroundColor='#DFDFDF';
}

function ChangeURL(url)
{
	window.location.href = url;
}

function MaybeChangeURL(url)
{
  if (change_enabled) {
	window.location.href = url;
  }
}

function disableChange(){
  change_enabled = false;
}

function enableChange(){
  change_enabled = true;
}