#include <bits/stdc++.h>
int main() {
  printf("1998\n");
  printf("2 2 2 1\n2 2 2 1\n");
  for (int i = 3; i < 1000; i++) printf("%i 1 %i 2\n", i, i);
  printf("999 1 999 2\n");
  for (int i = 998; i > 2; i--) printf("%i 1 %i 2\n", i, i);
  printf("2 2 2 1\n2 2 2 1\n");
  return 0;
}
