HASH(0x7fa9c14d7470)