how to specify name of file to be downloaded?

i want to give users the possibility to download certain information from a database as files. to do this, i specify a binary mime type in a header() statement that will pop up the download dialog box, and do what i want. however, the proposed default name of the file is the name of the executing php page. is there a way to specify another name to be used instead? thanks in advance for your help, Jakob. ps: cc to me appreciated, as i'm on the digest list.