{ RANDOMIZE }
      { RANDOM    }