{redirections,%##10@,#GET{redirections}} {redirections,%##10@,#GET{redirections}} ≡ Menu