add isProxyOK.pl