let refresh_var (name : string) (var : string) (tag_number : int) : unit =
let value_of_var = get_value_of_var name var in
if((is_a_refresh_var var))
then (
let value_of_var_tmp = if(containStr "-" value_of_var)
then String.sub value_of_var 0 (indexStr "-" value_of_var)
else value_of_var in
let value = ((value_of_var_tmp)^"-"^(string_of_int !id_refresh)) in
id_refresh := 1 + !id_refresh;
add_var_value name value name var;
)