HASH(0x7fedfe5e1a78)