>
<?php wp_title( '|', true, 'right' ); bloginfo( 'name' ); ?>
>
< class="art-logo-name">
>
theme_get_option('theme_menu_source'), 'depth' => theme_get_option('theme_menu_depth'), 'menu' => 'primary-menu', 'class' => 'art-hmenu' ) ); ?>