HASH(0x7fedc65d4220)