function ShowHide()
{
	var theEvent = window.event
	if(!theEvent)
		return
	
	var elems = document.getElementsByName(ShowHide.arguments[0])
	if(elems.length != 2)
	{
		alert("no elements with name " + ShowHide.arguments[0] + " found! in array of length " + elems.length)
		return
	}
	var src, dst
	
	for(i=0; i<2; i++)
	{
		if(elems[i].id == "source")
			src = i
		if(elems[i].id == "destination")
			dst = i
	}
	if(elems[dst].innerHTML.length != 0)
		elems[dst].innerHTML = ""
	else
		elems[dst].innerHTML = elems[src].innerHTML
	
	return
}
		
		
function Show()
{
	var name = Show.arguments[0]
	
	var elem = document.getElementById(name)
	if(elem == null)
		return
	//alert(elem.style.visibility);
	if(elem.style.visibility == 'hidden')
	{
		//window.event.srcElement.innerHTML = "unclick me"
		ShowElement(elem)
	}
	else
	{
		//window.event.srcElement.innerHTML = "click me"
		HideElement(elem)
	}
	
}


expElem = null

function ShowSingleElement(e)
{
	if(expElem != null)
		HideElement(expElem);
	ShowElement(e);
	expElem = e;
}

function HideSingleElement(e)
{
	HideElement(e);
	expElem = null;
}

function ShowElement(e)
{
	e.style.position = "static"
	e.style.visibility = "visible"
	var elem = document.getElementById(e.id + "-img")
	if(elem != null)
		elem.src = "/images/triangle-blue-down.gif"
}

function HideElement(e)
{
	e.style.position = "absolute"
	e.style.posBottom = 0
	e.style.visibility = "hidden"
	var elem = document.getElementById(e.id + "-img")
	if(elem != null)
		elem.src = "/images/triangle-blue.gif"
}