0xfffffffff25bd7d1