do_header() is not a PHP lib function. It has to be defined by the user. Usually, something like this function would print out a couple html tags, the page title, maybe a style sheet, etc.
If the function isn't apparent, it was likely included into the document.