   <!-- // Javascript Implementation of Park-Miller Algorythm for Random Number Generation by Keith@Szlamp.com //

    var rand = new RandomNumberGenerator();
    picturesa = new array(4);
    picturesa[1].src = "images/prop_swap_size_a_1.jpg";
    picturesa[2].src = "images/prop_swap_size_a_2.jpg";
    picturesa[3].src = "images/prop_swap_size_a_3.jpg";
    picturesa[4].src = "images/prop_swap_size_a_4.jpg";

    function choosepicturea() {
     var chosen = random(3) + 1;   
     document.writeln("<IMG SRC='" + picturesa[chosen].src + "' WIDTH=115 HEIGHT=164 ALT=''><BR>");
    }
    
    var rand = new RandomNumberGenerator();
    picturesc = new array(4);
    picturesc[1].src = "images/prop_swap_size_c_1.jpg";
    picturesc[2].src = "images/prop_swap_size_c_2.jpg";
    picturesc[3].src = "images/prop_swap_size_c_3.jpg";
    picturesc[4].src = "images/prop_swap_size_c_4.jpg";

    function choosepicturec() {
     var chosen = random(3) + 1;   
     document.writeln("<IMG SRC='" + picturesc[chosen].src + "' WIDTH=115 HEIGHT=105 ALT=''><BR>");
    }

    var rand = new RandomNumberGenerator();
    picturesb = new array(4);
    picturesb[1].src = "images/prop_swap_size_b_1.jpg";
    picturesb[2].src = "images/prop_swap_size_b_2.jpg";
    picturesb[3].src = "images/prop_swap_size_b_3.jpg";
    picturesb[4].src = "images/prop_swap_size_b_4.jpg";

    function choosepictureb() {
     var chosen = random(3) + 1;   
     document.writeln("<IMG SRC='" + picturesb[chosen].src + "' WIDTH=115 HEIGHT=72 ALT=''><BR>");
    }        

    function array(total) {
     this.length = total;
     for (var count = 1; count <= total; count++) {
      this[count] = new Image();
     }
     return this;
    }

    function random(n) {
     return Math.round( n * rand.next() );
    }
     
    function NextRandomNumber () {
     var hi = this.seed / this.Q;
     var lo = this.seed % this.Q;
     var test = this.A * lo - this.R * hi;
     if ( test > 0 ) 
		this.seed = test;
     else
      this.seed = test + this.M;
     return ( this.seed * this.oneOverM);
    }

    function RandomNumberGenerator() {
     var d = new Date()
     this.seed = 2345678901 + ( d.getSeconds() * 0xFFFFFF ) + ( d.getMinutes() * 0xFFFF );
     this.A = 48271;
     this.M = 2147483647;
     this.Q = this.M / this.A;
     this.R = this.M % this.A;
     this.oneOverM = 1.0 / this.M;
     this.next = NextRandomNumber;
     return this;
    }

   // -->
