get_by_name(Name, HTMLObject) is true if and only if HTMLObject is an HTML object with the name Name.