HASH(0x7fbf7053bbe0)