( bistopen predikar );