test_examples([88,89,90,91,92]).
