PETTY , JOHN