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