: : %s r>