PETTYEN: see PETIN Print
.