Help for this page
head($url) Get document headers. Returns the following 5 values if succ +essful: ($content_type, $document_length, $modified_time, $expires, $ +server)