";
if($pageid == $services_menu[$row][0]) { $menutype = "menuitem menuitem_hi" ; } else { $menutype = "menuitem"; }
$pageurl = 'desktops.php';
$pagedesc = 'Desktops';
if ($services_menu[$row][0]<>"home") { $marker = '«'; }
echo "";
echo "\n";
echo "\n";
echo "";
?>