var alea = 588255731;