What is 17(88)+94?