/* (c) =SB= MMI */

// <!--
 var s = window.location.pathname;
 var ss = s.substring(0, s.length - 6); 
 document.write("<a href=");
 document.write(ss+'.htm><img border=\"0\" src=\"/images/verrus.gif\">');
 document.write("</a>");
// -->