#include <bits/stdc++.h>
using namespace std;
int T, t, n, m;
int main() {
  int i, j, k;
  printf("2001\n");
  for (i = 1; i <= 1000; i++) printf("%d 1 %d 2\n", i, i);
  printf("1 1 1 2\n");
  for (i = 1; i <= 1000; i++) printf("%d 1 %d 2\n", i, i);
}
