#!/bin/bash

cat <$1 | while read line ; do
  LINE=${line#*user=}
  LINE=${LINE%% *}
  echo $LINE
done | while read nextline ; do
  NAME=`nslookup $nextline | grep Name`
  echo IP=$nextline NAME=$NAME
done