void script_572() { script_573(); return; }