my ($content_type, $document_length, $modified_time, $expires, $server) = head($url);