HASH(0x7f5ce80a37a8)