(1)(5)(8)(17)
ok
(1)(5)(8)(17)