HASH(0x7fedb48970f0)