HASH(0x56389ca7ce70)