#include<stdio.h> int main() { printf("142\n"); return 0; }