// JavaScript Document

 <!--
 	//THESE TWO FUNCTIONS ARE CALLED BY flashPlayer_DoFSCommand WHICH IS CALLED BY THE FLASH PIECE
 	//THIS <script> NEEDS TO REMAIN IN THE <head> TAG
 	function makePlayerBig() {
 		//CHANGE THE FLASH MOVIE'S SIZE AND LOCATION TO PLAY THE VIDEO.
 		var vid = document.getElementById("flashVidPlayer");
 		vid.style.width = "500px";
 		vid.style.height = "350px";
 		vid.style.left = "260px";
 		vid.style.overflow = "visible";
 	}
 	function makePlayerSmall() {
 		//CHANGE THE FLASH MOVIE'S SIZE AND LOCATION BACK TO ITS ORIGINAL SETTINGS
 		var vid = document.getElementById("flashVidPlayer");
 		vid.style.width = "270px";
 		vid.style.height = "160px";
		vid.style.left = "500px";
		vid.style.overflow = "hidden";
 	}
 //-->

