pr \ t7 ).