echo CO_NAME; ?>
if (isset($logged_in)) include("logged_in.html"); ?>