<?php echo $children; ?>
						</ul>
						<?php endif; ?>
						<?php if (!$children && is_page() && !is_page_template('portfolio.php')) { ?><ul></ul><?php } ?>
						<div><?php get_search_form(); ?></div>