'; foreach ( $header_images as $key => $value ) { echo '

'; } echo ''; } else { echo ''; } ?>