var NO_PROXY = "$NOPROXY_EXTS$";

function FindProxyForURL(url, host) {
  if( url.substring(0,5) == "http:" ) {
    if( NO_PROXY.length > 0 && url.indexOf("?") == -1 ) {
	  var extPos = url.lastIndexOf(".");
	  if( extPos != -1 ) {
	    if( NO_PROXY.indexOf("|"+url.substring(extPos+1).toLowerCase()+"|") != -1 ) {
	      return "$HTTP_DIRECT$";
	    }
	  }
    }
    return "$HTTP_PROXY$";
  }
  if( url.substring(0,6) == "https:" ) {
    return "$HTTPS_DIRECT$";
  }
  if( url.substring(0,4) == "ftp:" ) {
    return "$FTP_DIRECT$";
  }
  if( url.substring(0,7) == "gopher:" ) {
    return "$GOPHER_DIRECT$";
  }
  return "DIRECT";
}