var waf = new WafManager("public_service.php");