HASH(0x7fedc4097a30)