var RandomMoviePositionNumber = Math.floor(3*Math.random());

/*
 * This file contains functions to generate random flash movies
 */

var r_flashmovie = new Array ();
r_flashmovie[0] = "WoD.swf"; 
r_flashmovie[1] = "Atrium.swf"; 
r_flashmovie[2] = "Fieldhouse.swf";

//alert('RandomMoviePositionNumber');