HASH(0x7f5cac26dd18)