HASH(0x7f7abc58e048)