HASH(0x7f5c942e45c8)