head($url)
          Get document headers. Returns the following 5 values if successful: ($content_type, $document_length, $modified_time, $expires, $server)