let previous_tag_number (() : unit) : unit = 
        if((!tag_number)>=1)
        then tag_number:=((!tag_number)-1)