HASH(0x7fedfa600f38)