HASH(0x7f5cff4a0750)