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