let
next_id_refresh_story () : unit =
id_refresh_story := (!id_refresh)::(!id_refresh_story);