get header $name?

Hi, im trying to have a different header on one page of my site. Thiis page has its own page template, and I’d like to switch out the header in the <?php get_header(); ?> tag.

In the codex I find : <?php get_header($name); ?>

Where do I give the new header a name?

my custom header is called “directheader.php”

Thanks. ad