index(); $view = new public_view($registry); ?>