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