HASH(0x7fedfc5a8608)