HASH(0x7f5cd40d43e8)