A prefetching proxy server for WWW.