add($jscode); function discover_years() { if (!is_array($_SESSION['years'])) { $sql = "SELECT DISTINCT date_part('year', datum) AS year FROM einsatz ORDER BY year"; $info = query_db($sql); $_SESSION['years'] = array(); foreach ($info as $row) $_SESSION['years'][] = $row['year']; } $options = array(); foreach ($_SESSION['years'] as $year) $options[] = array('id' => $year, 'text' => $year); return $options; } ?>