HASH(0x7fa99c54b8f0)