^ ^ [ 12617 .]