// JavaScript Document
<!--
if (document.all){
document.write('<a href="javascript:window.external.AddFavorite(location.href,document.title);">Add bookmark</a> | ');
}
else if (window.sidebar){
document.write('<a href="javascript:window.sidebar.addPanel(document.title,location.href,document.title);">Add bookmark</a> | ');
}
document.write('<a href="javascript:print()">Print page</a>');
-->