HASH(0x7f5c80aa36a8)