<?php
session_start();
if(!isset($_SESSION['s_username']))header("location: res.php");
echo "<font face='Tahoma, Geneva, sans-serif' color='#009966'>Bienvenido
</font><b>".$_SESSION['s_username']."</b> <a href="index.php" title='Pagina
Principal'>Pagina Principal</a> &nbsp;||&nbsp; <a href="logout.php"
title='Cerrar Sesion'>Cerrar Sesion</a>";
?>

Codigo principal