pr t:a ; salt,