HASH(0x7f5ced6c5b40)