function pagePrint() {
	print();
}

function pageBookmark() {
	window.external.AddFavorite(location.href,document.title);
}