


    <!--
        // Trivial and pointless little JavaScript to interpolate random 
        // strings into a page.
    
    var sc = 6;                    // Number of alternative strings
    var s = new Array(sc);          // Array to hold alternative strings
    
    // String definitions. There should be exactly 'sc' strings, numbered
    // from 0 to (sc - 1). You can embed markup in the strings, provided
    // you're careful to escape any double quotes. Note that if you fail
    // to define enough strings, you'll get 'undefined' appearing in place
    // of the string, or possibly even a security violation, which tends
    // to be unaesthetic.
    
	s[0] = "jswstyle1.css";
	s[1] = "jswstyle2.css";
	s[2] = "jswstyle3.css";
	s[3] = "jswstyle4.css";
	s[4] = "jswstyle5.css";
	s[5] = "jswstyle6.css";
	
    
    
    // pickRandom - Return a random number in a given range. If we're running
    // on an older browser that doesn't support 'Math.random()', we can fake
    // it by using the current time. This isn't ideal for mission-critical
    // security applications, but it's fine here. Note that we divide the
    // current time by 1000 to get rid of the milliseconds which Navigator
    // doesn't seem to take into account.
    
    function pickRandom(range) {
        if (Math.random)
            return Math.round(Math.random() * (range-1));
        else {
            var now = new Date();
            return (now.getTime() / 1000) % range;
        }
    }
    
    // Write the string into the document. The "<BLOCKQUOTE>" tags are just 
    // for formatting; you can put as much or as little HTML around these 
    // strings as you like.
    
    var choice = pickRandom(sc);
    document.writeln("<link rel ='stylesheet' type='text/css' href='" + s[choice] + "'/>");
    
















