if [ -n "$USRXBIN" ] ; then
 USRXBIN1=${USRXBIN1:=`echo $USRXBIN | $AWK -F ':' '{print $1}'`}
 USRXBIN2=${USRXBIN2:=`echo $USRXBIN | $AWK -F ':' '{print $2}'`}
fi