#!/bin/awk
BEGIN {
printf "user badname shell\n"
}
{
if ( $3>=1000 ) printf "%s %s %s\n", $1, $5, $7;