Better hashing of identifiers.