function changeColorOver(document_id)
{
	var el = document.getElementById('short-' + document_id);
	if(el)
	{
		el.id = 'short-over';
	}
}

function changeColor(document_id)
{
	var el = document.getElementById('short-over');
	if(el)
	{
		el.id = 'short-' + document_id;
	}
}

function stop() {
  var event = e || window.event;

  if (event.stopPropagation) {
    event.stopPropagation();
  } else {
    event.cancelBubble = true;
  } 
}