// JavaScript Document
/*
 * Play button for Windows Media Player
 */
var videoPlayButton = function(href) {
	player	= href.parentNode.getElementsByTagName('object')[0];
	
	if (player.playing) {
		player.controls.pause();	
		player.playing = false;
	} else {
		player.controls.play();
		player.playing = true;
	}
}