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 '

'; ?>