// * the javascript used for triggering the printing of the page
// * check wether the browser supports the window.print() function
// * display a warning dialog if it doesnt
function printcheck() {
	if (window.print != null) {
		window.print();
	} else {
		alert('Unfortunately, your browser does not support this shortcut.  Please select Print from the File menu.');
	}
}