function dummy() { }
function updateMoviePlayer(moviefile) {
		
}