function changeMovie(url) {	
	document.getElementById('mediaplayer').src = url+'.php';
}