>
>
':''); echo ($url != '' ? '
':''); } ?>
': '
'); ?>
'header-menu')); ?>
 ).'/images/'.$s.'-icon.png){kind=icon}
':'');
echo ($url != '' ? ' ).'/images/logo.png){kind=logo}
'); ?>
':'');
echo ($url != '' ? ''); ?>