Change exsplus:seed/3
Change exsplus:seed/3 for more random initialization