HASH(0x7f5cd44ca3c0)