var sc = 13;                    // Number of alternative strings
    var s = new Array(sc);          
    
    s[0] = "<font face=georgia>";
    s[1] = "<font face=\"trebuchet ms\">"
    s[2] = "<font face=\"times new roman\">";
    s[3] = "<font face=times>";
    s[4] = "<font face=verdana>";
    s[5] = "<font face=\"trebuchet ms\">";
    s[6] = "<font face=arial>";
    s[7] = "<font face=tahoma>";
    s[8] = "<font face=courier>";
    s[9] = "<font face=\"trebuchet ms\">";
    s[10] = "<font face=\"trebuchet ms\">";
    s[11] = "<font face=courier>";
    s[12] = "<font face=georgia>";
   
    function pickRandom(range) {
        if (Math.random)
            return Math.round(Math.random() * (range-1));
        else {
            var now = new Date();
            return (now.getTime() / 1000) % range;
        }
    }
   
    var choice = pickRandom(sc);
    document.writeln(s[choice] );