HASH(0x7fa9e8573c00)