/* The following will be used to write navigation links to keep spiders out of the browsing interface.
Otherwise multiple links to the same technote will be generated.
*/
function nav_link(style_str, title_str, alt_str, path_str, display_str) {
	document.write('<' + 'a');
	if (style_str) {
		document.write(' class="' + style_str + '"' );
	}
	if (title_str) {
		document.write(' title="' + title_str + '"' );
	}
	if (alt_str) {
		document.write(' alt="' + alt_str + '"' );
	}
	document.write(' href= ' + '"' + path_str + '"');
	document.write('>' + display_str + '<' + '/' + 'a>');
}