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