HASH(0x7fedc2680480)