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