HASH(0x7f5d04d02ca0)