Welcome ' . $_SESSION['user'] . '!'; echo '
stress
'; echo '
logout
'; } else { header("location:index.php"); } ?>
This machine is: "; echo gethostname(); ?>
' . $EC2_AZ; ?> '; echo 'Page generated in ' . $total_time . ' seconds.'; echo ''; ?>