HASH(0x7f5cbf2af5d8)