<div class="header_short_menu">
<ul>
<?php if (tep_session_is_registered('customer_id')) { echo '<li>'?>
<a href="<?php&osCAdminID=b3529a3b09c97ee995b808b15ede7b2f echo tep_href_link(FILENAME_LOGOFF, '', 'SSL'); ?>">
<?php echo tep_image(DIR_WS_IMAGES . 'user.gif',HEADER_TITLE_LOGOFF) . ' <span>' . HEADER_TITLE_LOGOFF; ?></span>
</a>  |  </li>
<?php }?>
<li><a href="<?php&osCAdminID=b3529a3b09c97ee995b808b15ede7b2f echo tep_href_link(FILENAME_ACCOUNT, '', 'SSL'); ?>">
<?php echo tep_image(DIR_WS_IMAGES . 'user.gif',HEADER_TITLE_LOGOFF) . ' <span>' . HEADER_TITLE_MY_ACCOUNT; ?></span>
</a>  | </li>
<li><a href="<?php&osCAdminID=b3529a3b09c97ee995b808b15ede7b2f echo tep_href_link(FILENAME_SHOPPING_CART); ?>">
<?php echo tep_image(DIR_WS_IMAGES . 'caddie.gif',HEADER_TITLE_CART_CONTENTS) . ' <span>' . HEADER_TITLE_CART_CONTENTS; ?></span>
</a></li>
</ul>
</div>