my $INPUT_FILE = "ipnum";