hashing for identifiers and Marked identifiers