function doPics() {
   setTimeout("doPics()", 6000)
   PIC_info = new Array()
   PIC_info[0] = "oha-hp-box-gadsby"
   PIC_info[1] = "oha-hp-box-lymuseum"
   PIC_info[2] = "oha-hp-box-lyceum"
   PIC_info[3] = "oha-hp-box-fwmuseum"
   PIC_info[4] = "oha-hp-box-dig"
   PIC_info[5] = "oha-hp-box-arch03"
   PIC_info[6] = "oha-hp-box-firehouse"
   PIC_info[7] = "oha-hp-box-torpedo"
   PIC_info[8] = "oha-hp-box-bhrc"
   PIC_info[9] = "oha-hp-box-bhpark"
   PIC_info[10] = "oha-hp-box-gtball"
   PIC_info[11] = "oha-hp-box-fwgate"
   PIC_info[12] = "oha-hp-c-ar"
   PIC_info[13] = "oha-hp-c-bh"
   PIC_info[14] = "oha-hp-c-ff"
   PIC_info[15] = "oha-hp-c-fw"
   PIC_info[16] = "oha-hp-c-gt"
   PIC_info[17] = "oha-hp-c-ly"
   PIC_info[18] = "oha-hp-c-ap"

 PIC_set = new Array()
   PIC_set[0] = new Array(0, 1, 2, 3, 12, 5, 6, 7, 8, 9, 10, 11)
   PIC_set[1] = new Array(0, 1, 2, 3, 4, 12, 6, 7, 8, 9, 10, 11)
   PIC_set[2] = new Array(0, 1, 2, 3, 4, 5, 6, 18, 8, 9, 10, 11)
   PIC_set[3] = new Array(0, 1, 2, 3, 4, 5, 6, 7, 13, 9, 10, 11)
   PIC_set[4] = new Array(0, 1, 2, 3, 4, 5, 6, 7, 8, 13, 10, 11)
   PIC_set[5] = new Array(0, 1, 2, 3, 4, 5, 14, 7, 8, 9, 10, 11)
   PIC_set[6] = new Array(0, 1, 2, 15, 4, 5, 6, 7, 8, 9, 10, 11)
   PIC_set[7] = new Array(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15)
   PIC_set[8] = new Array(16, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
   PIC_set[9] = new Array(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 16, 11)
   PIC_set[10] = new Array(0, 17, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
   PIC_set[11] = new Array(0, 1, 2, 3, 4, 5, 6, 18, 8, 9, 10, 11)

   PIC_map = new Array("p0","p1","p2","p3","p4","p5","p6","p7","p8","p9","p10","p11")
   PIC_dir = "/oha-main/images/"
   PIC_type = ".gif"
   low = 0
   high = 11
   j = (Math.floor(Math.random() * (1 + high - low) + low))
   for (i=0;i<12;i++) {
      document.images[PIC_map[i]].src = PIC_dir + PIC_info[PIC_set[j][i]] + PIC_type
   }
}