removed obsolete div_toggle