HASH(0x7fa8ef12b040)