function show(element)
{
	el = document.getElementById(element);
	im = document.getElementById(element+'i');
	el.style.display='';
	im.src='../pictures/arrowdown.gif';
}

function hide(element)
{
	el = document.getElementById(element);
	im = document.getElementById(element+'i');
	el.style.display='none';
	im.src='../pictures/arrow.gif';
}

function toggle(element)
{
	if(document.getElementById(element).style.display == 'none') show(element);
	else hide(element);
}