repair(); $didRepair = true; } ?>