translate::=