HASH(0x7f5d00fb92d0)