/****************************************************************************   
*
* $Id: js.js,v 1.2 2006/09/15 14:06:23 root Exp $
* 
***************************************************************************/

function switchImg(tagid,name) {
	document.getElementById(tagid).src = "images/".$name;
}

function switchArrow(tagid) {
	// document.getElementById(tagid).src = "images/pfeilactiv.gif"
}
function switchArrowOut(tagid) {
	// document.getElementById(tagid).src = "images/pfeil.gif"
}