function setsize(h){
	if(document.getElementById){
		h=parseInt(h+1)+"px";
		document.getElementById("gallery_outer").style.height=document.getElementById("flashcontent").style.height=document.getElementById("gallery_object").style.height=h;
	}
}

function mail(o){
	o.href=o.href.replace(new RegExp("\\(a\\)"),"@");
}