// audioPlayer.js
// custum embedded Real-Player for playing audio-only content
// v1.0
// mz 2002-12-18


function leiser(){
	currVolume = document.audioPlayer.GetVolume();
	newVolume = currVolume - 20;
	if (newVolume < 0) newVolume = 0;
	document.audioPlayer.SetVolume(newVolume)
	
}

function lauter(){
	currVolume = document.audioPlayer.GetVolume();
	newVolume = currVolume + 20;
	if (newVolume > 100) newVolume = 100;
	document.audioPlayer.SetVolume(newVolume)
	
}

function setTitle() {

	var currTitle = audioPlayer.GetTitle();
	var status = audioPlayer.GetPlayState();
	
	if (status == 2)
		titleDisplay.innerText = "...buffering...";
	else 
		titleDisplay.innerText = currTitle;
	window.setTimeout("setTitle()",1500);

}