HASH(0x7f5ceb8da2d8)