var nb_rndvar;
var nb_flag_rnd;
nb_user_rnd="0";
nb_flag_rnd="0";