HASH(0x7f5cd25d4be8)