HASH(0x7f3877ba12b8)