HASH(0x7fedb42206c8)