<!-- Hide script from older browsers

/*	printfunc.js
	Function to automatically call up a print dialogue box if
	the user clicks on "printer-friendly version" from a full 
	HTML story page. This function is called from an onload
	in all minimal HTML pages.                                 */

function print_story() {
	if (window.print && ((document.location + "l") == document.referrer)) {
		window.print();
	} // end if
} // end print_story function

// End hiding script -->