'menu-header', 'theme_location' => 'primary', 'depth' => 4 ) ); ?>
ID ) &&
( /* $src, $width, $height */ $image = wp_get_attachment_image_src( get_post_thumbnail_id( $post->ID ), 'post-thumbnail' ) ) &&
$image[1] >= $header_image_width ) :
// Houston, we have a new header image!
echo get_the_post_thumbnail( $post->ID );
elseif ( get_header_image() ) :
$header_image_width = get_custom_header()->width;
$header_image_height = get_custom_header()->height;
?>
; ?>)