HASH(0x7f5cde171ef0)