20060930 unknown: What happens to the 5-run penalty?