#!/bin/awk

BEGIN {
  printf "user badname shell\n"
}

{
  if ( $3>=1000 ) printf "%s %s %s\n", $1, $5, $7;
}