#include <bits/stdc++.h>
using namespace std;
long long gcd(long long a, long long b) {
  long long r;
  while (b != 0) {
    r = a % b;
    a = b;
    b = r;
  }
  return a;
}
long long lcm(long long a, long long b) { return a / gcd(a, b) * b; }
void solve() {
  printf("%d\n", 2000);
  for (int i = (0); i < (1000); i++)
    printf("%d %d %d %d\n", i + 1, 1, i + 1, 2);
  for (int i = (1000) - 1; i >= (0); i--)
    printf("%d %d %d %d\n", i + 1, 1, i + 1, 2);
}
int main() {
  solve();
  return 0;
}
