//
// 2008-05-15  WWP   Creation.
//
// Note: if ( debugging === undefined )
//

function RandomElement(myarray)
   {
   return myarray[Math.floor(Math.random()*myarray.length)];
   }