function changeSource(input){
	player=document.getElementById('player');
	player.src=input;
}