HASH(0x7fedfe5e0c70)