HASH(0x7f5ce905e3d8)