t#31017: