// -*- java -*-

function toggleOldNew(oldID, newID) 
{
	 // get span elements
	 oldSpan = document.getElementById(oldID);
	 newSpan = document.getElementById(newID);
	 
	 if (!oldSpan || !newSpan) 
		 {
				return;
		 }
	 
	 var s = oldSpan.style.display;
	 if ("" == s) 
		 {
				oldSpan.style.display = "none";
				newSpan.style.display = "block";
		 }
	 else 
		 {
				oldSpan.style.display = newSpan.style.display;
				newSpan.style.display = s;
		 }
}