HASH(0x7fedc4087488)