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