HASH(0x7fedc25a76c8)