HASH(0x7f5cac1d23d8)