HASH(0x7fede44f5748)