// skip links

echo '<div dir="ltr">'.K_NEWLINE;

echo '<a href="#timersection" accesskey="3" title="[3] '.$l['w_jump_timer'].'">'.$l['w_jump_timer'].'</a> <span style="color:white;">|</span>'.K_NEWLINE;

echo '<a href="#menusection" accesskey="4" title="[4] '.$l['w_jump_menu'].'">'.$l['w_jump_menu'].'</a>'.K_NEWLINE;

echo '</div>'.K_NEWLINE;

echo '<div>'.K_NEWLINE;

if ($_SESSION['session_user_level'] > 0) {

// display user information

echo '<span title="'.$l['h_user_info'].'">'.$l['w_user'].': '.$_SESSION['session_user_name'].'</span>';

// display logout link

echo ' <a href="tce_logout.php" title="'.$l['h_logout_link'].'">'.$l['w_logout'].'</a>'.K_NEWLINE;

} else {

// display login link

echo ' <a href="tce_login.php" title="'.$l['h_login_button'].'">'.$l['w_login'].'</a>'.K_NEWLINE;

}

echo '</div>'.K_NEWLINE;

// language selector

if (K_LANGUAGE_SELECTOR AND (stristr($_SERVER['SCRIPT_NAME'], 'tce_test_execute.php') === FALSE)) {

echo '<div dir="ltr">'.K_NEWLINE;

echo '<span title="change language">'.K_NEWLINE;

$lang_array = unserialize(K_AVAILABLE_LANGUAGES);

$lngstr = '';

while (list($lang_code, $lang_name) = each($lang_array)) {

$lngstr .= ' | ';

if ($lang_code == K_USER_LANG) {

$lngstr .= '<span title="'.$lang_name.'">'.strtoupper($lang_code).'</span>';

} else {

// query string was removed because unnecessary

//if (isset($_SERVER['QUERY_STRING']) AND (strlen($_SERVER['QUERY_STRING'])>0)) {

// $querystr = preg_replace("/([\?|\&]?)lang=([a-z]{2,3})/si", '', $_SERVER['QUERY_STRING']);

//}

//if (isset($querystr) AND (strlen($querystr)>0)) {

// $langlink = $_SERVER['SCRIPT_NAME'].'?'.str_replace('&', '&amp;', $querystr).'&amp;lang='.$lang_code;

//} else {

$langlink = $_SERVER['SCRIPT_NAME'].'?lang='.$lang_code;

//}

$lngstr .= '<a href="'.$langlink.'" title="'.$lang_name.'">'.strtoupper($lang_code).'</a>';

}

}

echo substr($lngstr, 3);

echo '</span>'.K_NEWLINE;

echo '</div>'.K_NEWLINE;

}

echo '<div dir="ltr">';

echo '</div>'.K_NEWLINE;

// Display W3C logos

echo '<div dir="ltr">'.K_NEWLINE;

echo '</div>'.K_NEWLINE;

//============================================================+

// END OF FILE

//============================================================+