HASH(0x7f5cda2379f8)