20030216 unknown: Why is a pinch hitter in cricket called so?