[seed7%5B10%5D]