var alea = 1719915854;