/** 
 * Bestandteil einer Grafik, der ein aktiviertes Symbol ausweist 
 * (überschreibt den Wert aus "functions.js")
 */
ACTIVE_SYMBOL = "_";

addLoadEvent(
	function() 
	{
		var i, img;
		var links	= document.getElementsByTagName("a");
		var regexp	= /tennisball_\.gif/;
		
		for (i = 0, ii = links.length; i < ii; i++) {
			img = links[i].firstChild;
			
			if (img != null && img.nodeType == NODETYPE_ELEMENT && !regexp.test(img.src)) {
				img.onmouseover = function() { changeImg(this, true); };
				img.onmouseout  = function() { changeImg(this, false); };
			}
		}
	}
);