function make_bookmark_link() {
	if (document.all) {
		document.write('| <a href="javascript:bookmark_page()">Bookmark Page</a>');
	}
}

make_bookmark_link();