/*-- swap image --*/

	function swapImage(element, newimage){
		var oldsrc = element.src;
		element.src = newimage;
		if (!element.onmouseout){
			element.onmouseout = function(){
				swapImage(this, oldsrc);
			}
		}
	}

/*-- Spam protection --*/

    function getAdr(prefix, postfix, text){
        document.write('<a href="mailto:' + prefix + '@' + postfix + '">' + (text ? text.replace(/&quot;/g, '"').replace(/%EMAIL%/, prefix + '@' + postfix) : prefix + '@' + postfix) + '</a>');
    }