function update_video(videoname){
document.getElementById('video_src').src="video_file.asp?video="+videoname
}