let add_tag_number () = tag_number:=((!tag_number)+1)