HASH(0x7f137def8ad8)