var alea = 1279489297;