13 : * ^ora: