// This is a javascript handler for the player and is always needed.
function thisMovie(movieName) {
	if(navigator.appName.indexOf("Microsoft") != -1) {
		return window[movieName];
	} else {
		return document[movieName];
	}
}

function changeFile(fileName, type, sourceObj)
{
	// load the new flv in the player
	thisMovie("flvPlayer1").loadFile({file:fileName,id:'12345'});

	// make all links normal
	$('.movieLink').each(function() {
		this.style.fontWeight = 'normal';
	});
	// bold the selected lin
	sourceObj.style.fontWeight = 'bold';
	
	// change the dl link
	changeMovieDownLoadLink(fileName);
}

function changeMovieDownLoadLink(fileName)
{
	// change the dl link
	wmvFileName = fileName.replace(".flv", ".wmv")
	$('#dlFilmLink').attr("href", wmvFileName);
}