pr t:a ; ' alt,