<!--
    var width = 400;
    var height = 320;
    var control_panel_height = 45;


    // create HTML object/embed tags for Windows Media Player
    function wm_vid( src, width, height ) {
	height += control_panel_height;
        return '<object width="'+width+'" height="'+height+'" classid="clsid:22D6F312-B0F6-11D0-94AB-0080C74C7E95" >\n' +
        '<param name="animationatstart" value="0">\n' +
        '<param name="autosize" value="1">\n' +
        '<param name="autostart" value="1">\n' +
        '<param name="transparentatstart" value="true">\n' +
        '<param name="name" value="WMP">\n' +
        '<param name="showcontrols" value="1">\n' +
        '<param name="showdisplay" value="0">\n' +
        '<param name="showstatusbar" value="0">\n' +
        '<param name="src" value="'+src+'">\n' +
        '<embed \n' +
        'animationatstart="false" \n' +
        'autosize="true" \n' +
        'autostart="true" \n' +
        'transparentatstart="true" \n' +
        'name="WMP" \n' +
        'showcontrols="true" \n' +
        'showdisplay="false" \n' +
        'showstatusbar="false" \n' +
        'src="'+src+'" \n' +
        'width="'+width+'" \n' +
        'height="'+height+'" \n' +
        'pluginspage="http://www.microsoft.com/Windows/MediaPlayer/" \n' +
        'type="video/x-ms-asf-plugin" \n' +
        '></embed>\n' +
        '</object>\n';
    }

    // a utility function
    function isEmpty( s ) {
        return ( s == null || s == "" );
    }

    // get the value for a given name from the request URL
    // assumes the URL string is 
    // http://server.domain/path/file.html?name1=value1&name2=value2...
    function request( name ) {
        // could use a regular expression for this, but I dont think 
        // that method is as cross-platform friendly as this indexOf
        // way
        var i = document.location.href.indexOf( name + "=" );
        if ( i == -1 )
            return "";
            var value = document.location.href.substr( i + name.length + 1 );
        i = value.indexOf( "&" );
        if ( i != -1 )
            value = value.substr( 0, i );
        return value;
    }

    var WIN_WMV_HOME = "/movie/";

    var vid_str = "";
    var embed_html = "";

    // get the video type and bandwidth from the URL line
    var speed = request( "speed" );
    var format = request( "format" );
    var vid_str = request( "vid" );
    
    if ( !isEmpty( vid_str ) && !isEmpty( format ) ) {
	if ( format == "avi" ) {
            embed_html = wm_vid( WIN_WMV_HOME + speed + vid_str, width, height );
	}
    }

    // the function that returns the href for the video links
    function make_vid_link( speed, format, video ) {
	if (navigator.platform == "Win32") {
	    // a direct link
	    return 'playmovie.html?speed=' + speed + '&format=' + format + '&vid=' + video;
	} else {
	    if ( format == "avi" ) {
		// change the filename extension to .avi
		video = video.substring( 0, video.indexOf(".") ) + '.avi' ;
		return WIN_WMV_HOME + speed + video;
	    }
	}
    }
//-->