<?php include("pkg_mgr_installed.php"); ?>