<!--
function video_opener (file) {
	pdf_win=window.open(file, "","menubar=no,scrollbars=no,resizable=yes,width=710,height=504")
	if (pdf_win) return false;
	return true;
}
//-->