// JavaScript Document

function resize (){
	var divheight = document.getElementById("mainbody").offsetHeight;
	var filml = document.getElementById("film-left");
	var filmr = document.getElementById("film-right");
	filml.style.height = (divheight-45)+"px";
	filmr.style.height = (divheight-45)+"px";
}

function gname ( txt ) {
    document.getElementById("gallery-title").innerHTML = txt;
}