HASH(0x7f5cda616c60)