// JavaScript Document
function pause()
{
	document.MediaPlayer.Pause();
}
function stop()
{
	document.MediaPlayer.Stop();
}
function play()
{
	document.MediaPlayer.Play();
}