var alea = 597843075;