//AJAX for the VOX MOVIE TIMES

function swap_movies(theater, page){
	xmlHttp=GetXmlHttpObject();
	url= "movies/front_listings/"+theater+"/"+page;
	xmlHttp.open("GET", url , true);
	xmlHttp.onreadystatechange = function() {
		if (xmlHttp.readyState == 4) {
			document.getElementById("front-box-04").innerHTML = xmlHttp.responseText;
		}
	}
	xmlHttp.send("");
}

function do_movie_search(day){
        document.movie_form.day.value = day;
        document.movie_form.submit();
}