function changeImage(anImage, newSource) {
   document.images[anImage].src = newSource;
}

function printMovie(url) {
	document.write('<object classid="clsid:22D6F312-B0F6-11D0-94AB-0080C74C7E95" id="MediaPlayer" width=350 height=320 type="application/x-oleobject" class="fl-left">');
	document.write('<param name="AutoStart" value="true" />');
	document.write('<param name="AutoRewind" value="false" />');
	var str;
	str = '<param name="Filename" value="' + url + '" />';
	document.write(str);
	document.write('<param name="ShowControls" value="true" />');
	document.write('<param name="ShowAudioControls" value="true" />');
	document.write('<param name="ShowGotoBar" value="false" />');
	document.write('<param name="ShowPositionControls" value="true" />');
	document.write('<param name="ShowStatusBar" value="true" />');
	document.write('<param name="ShowTracker" value="true" />');
	document.write('<embed type="application/x-mplayer2" src="'+ url + '" autostart="0" loop="false" autohref="false" class="fl-left" width=350 height=320></embed>');
	document.write('</object><br>');
}