#include int readint() { int i = 0; scanf("%d", &i); return i; }