How to get a page ID from inside a header.php file

Question

How can I get the page ID from inside the header.php file? $post->ID and get_the_ID() don't work.

Answer 1

The following will work:

$ID = $wp_query->post->ID;