// JavaScript Document
<!--
if (window.external){
document.write('<style><!--.topNav a{display: block;cursor: pointer;}table#leftNav a{display: block;cursor: pointer;} table#leftNav td{cursor: pointer;} table#leftNav td{cursor: pointer;}--></style><a href="javascript:window.external.AddFavorite(location.href,document.title);">Add bookmark</a> | <a href="javascript:print()">Print page</a>');
}
-->