HASH(0x7fedc25d1448)