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