function select(source) {
	  obj = document.getElementById(source);
	  obj.style.visibility = 'visible';
	}	

function deselect(source) {
	  obj = document.getElementById(source);
	  obj.style.visibility = 'hidden';
	}