HASH(0x7f5ceade9330)