if(trim($menutitle=="")) {
$menutitle=$pagetitle;
}
if (htmlspecialchars($menutitle)!='') {$pagetitle = htmlspecialchars($menutitle);} else {$pagetitle = htmlspecialchars($pagetitle);}