int main(void) {
    return 1000 >> 4;
}