HASH(0x7fa99c5bef40)