//All pics should have a width <= 350

function pixs(){
    root = '/randpix/';
    pix_list =
        ["atari.jpg",
         "automata.jpg",
         "bbc.jpg",
         "bounce.jpg",
         "clean.jpg",
         "cold-draft.jpg",
         "elvis-sobel.jpg",
         "ferry.jpg",
         "frank-coffee.jpg",
         "harpotype.gif",
         "hopper.png",
         "kidsme.jpg",
         "knights-tour.gif",
         "pacloop.gif",
         "piano.jpg",
         "q8.gif",
         "roboread.png",
         "skyclothes.jpg",
         "sm-dog.png",
         "tangram.jpg"];
    for (i = 0; i < pix_list.length; i++){
        pix_list[i] = root + pix_list[i];
    }
    return pix_list;
}

function fyShuffle(list){
    for (i = list.length -1; i >= 0; --i){
        j = Math.floor(Math.random() * (i+1));
        if (i == j){
            continue;
        }
        tmp = list[i];
        list[i] = list[j];
        list[j] = tmp;
    }
    return list;
}

function getRandPix(){
    return fyShuffle(pixs())[0];
}