#include <bits/stdc++.h>
int main() {
  int n, i;
  n = 1000;
  printf("%d\n", n * 2);
  for (i = 1; i <= n; i++) {
    printf("%d 1 %d 2\n", i, i);
  }
  for (i = n; i > 0; i--) {
    printf("%d 1 %d 2\n", i, i);
  }
}
