HASH(0x7fee15bf2800)