( ^7 ( 5)