HASH(0x7f13415169a0)