get("rss", false)) { ?> get('stylesheet', false)) { ?> get("responsive", false)) { $body_cols = $g_layout->body_cols; ?>

getBrowser() == Browser::BROWSER_IE && $browserObj->getVersion() < 7 && $browserObj->isRobot() == false) echo '

'.$lang['g_old_ie'].'

'; ?>

getNumTopMenus() > 0) { ?>

" . $menuObj->pages[$j]['alt_name']; if($menuObj->pages[$j]['dropdown']) { echo " » "; $dropdown_id = $menuObj->pages[$j]['id']; $dropdownmenu = new menu($dropdown_id); echo "
"; } else echo ""; echo "
" . strtoupper($menuObj->pages[$j]['alt_name']) . "
" . $menuObj->pages[$j]['alt_name'] . "

status server poorten

server[$i]['ip']; $naam = $server->server[$i]['naam']; if($server->server[$i]['centraal'] == 1) { // alleen centrale servers ?>

Server
	checkServer($host_ip, $ports_array[$k]['portid'])) echo ""; else echo ""; ?>