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