function addbookmark(anchorie, anchorns, anchorother)
{
	document.write("<b>");
	if ((navigator.appName == "Microsoft Internet Explorer")
		&& (parseInt(navigator.appVersion) >= 4))
		document.write('<a href="javascript:window.external.AddFavorite(document.location.href, document.title)" onMouseOver="status=\'\';return true" title="Linux Documentation - ' + anchorie + '">' + anchorie + '</a>');
	else if ( navigator.appName == "Netscape" )
		document.write('<a href="javascript:alert(\'Click the OK button below, and then press CTRL+D to bookmark this page\')" title="Linux Documentation - ' + anchorie + '">' + anchorie + '</a>')
	else
		document.write(anchorother)
	document.write("</b>");
}

function supportSearchPlugin()
{
	return typeof(window.sidebar) == "object"
		&& typeof(window.sidebar.addSearchEngine) == "function";
}

function installPlugin()
{
	if ( supportSearchPlugin() )
		window.sidebar.addSearchEngine(
			"http://" + location.host + "/mozilla-plugin/linux-documentation.src",
			"http://" + location.host + "/mozilla-plugin/linux-documentation.png",
			"Linux Documentation",
			"Computer");
	else
		alert('Sorry, but your browser doesn\'t support Mozilla search plugins.');
}

if (top.location != self.location)
	top.location.replace(self.location);