write_player_flash = function( url) {
	if ( havefl ) {
		wr ('\
			<OBJECT classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000"\
				codebase="https://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=6,0,0,0"\
				WIDTH="135" HEIGHT="21" id="player" ALIGN="">\
				<PARAM NAME=movie VALUE="./images/player.swf">\
				<PARAM NAME=quality VALUE=high><PARAM NAME=bgcolor VALUE=#FFFFFF>\
				<param name="WMode" value="Transparent">\
				<PARAM NAME="FlashVars" VALUE="FileName='+url+'"><PARAM NAME=bgcolor VALUE=#FFFFFF>\
				<EMBED src="./images/player.swf"\
					FlashVars="FileName='+url+'"\
					quality=high\
					bgcolor=#FFFFFF\
					WIDTH="135"\
					HEIGHT="21"\
					NAME="player"\
					ALIGN=""\
					TYPE="application/x-shockwave-flash"\
					PLUGINSPAGE="https://www.macromedia.com/go/getflashplayer" wmode="opaque">\
				</EMBED>\
			</OBJECT>');
	}
}