//if ((window.auto_make_help_used != undefined) && window.auto_make_help_used) {
	document.write('<script type="text/javascript" src="/inc/wz_tooltip.js"></script>\n');
//}