HASH(0x7fedfe672840)