// -- this file is included in the body of every frame that can handle printing
document.PrintWindow = function() {
	if(OS_WIN && UA_MSIE)
		document.execCommand("Print");
	else
		window.print();
}