if [ "$PROXY" ]; then
echo "proxy is set"