HASH(0x7f5cd42eb8d8)