open(HTMLFH, $http_fetch_file);