// just call videolaunch("[name of video file].mov") from flash

function videolaunch(video)  {
	var windowURL = "../php/movie.php?file=" + video;
	var windowSize = "height=434,width=540";

	display_window = window.open(windowURL,"edit",windowSize);
	}