var alea = 860286207;