_theme-page.php

<?php
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/breadcrumbs.class.php");

$html = mb_convert_encoding($body, 'HTML-ENTITIES', 'auto');

# Begin: page-specific settings.  Change these.
$Theme->setThemeVariables($themeVariables);
$Theme->setPageAuthor("");
$Theme->setPageKeywords($keywords);
$Theme->setPageTitle($title);
$Theme->setHtml($html);

$Breadcrumb= new Breadcrumb($title);
$Breadcrumb->removeCrumb(array(2));
$Breadcrumb->insertCrumbAt(2, 'StatET', '/statet', '_self');
if (isset($_SERVER['REQUEST_URI'])) {
	$uriItems= explode("/", $_SERVER['REQUEST_URI']);
	if (count($uriItems) > 0
			&& (empty($uriItems[count($uriItems) - 1]) || $uriItems[count($uriItems) - 1] === "index.php") ) {
		unset($uriItems[count($uriItems) - 1]);
	}
	if (count($uriItems) >= 4 && isset($statetSections[$uriItems[2]])) {
		$Breadcrumb->insertCrumbAt(3, $statetSections[$uriItems[2]], '/statet/' . $uriItems[2], "_self");
	}
}
$Theme->setBreadcrumb($Breadcrumb);

if (isset($Nav)) {
	$Theme->setNav($Nav);
}
if (isset($Menu)) {
	$Theme->setMenu($Menu);
}

$Theme->generatePage();