HASH(0x7f5cda1cccc0)