<!--
function show_video(file, w, h) {
	var video=window.open(file,'video_win','width=' + w + ', height=' + h + ', resizable=no, status=yes, screenX=400, screeny=50');
	video.focus();
}
//-->