HASH(0x7fedafa1fca8)