» 5 ~ to : a :=