function WLink(weboffice_link) { window.location.href = '../../data/'+weboffice_link; }

function AddFavorite(title, url) {
	if (document.all)
	window.external.AddFavorite(url, title);
	else if (window.sidebar)
	window.sidebar.addPanel(title, url, "")
}