HASH(0x7f5cac42d880)