<?
include_once "tools.php";



?>

<html>
<head>
<title>PSU Remote Executioner</title>
<style type="text/css">@import url(prelayout.css);</style>
</head>
<body>
<?
setPic();
?>
<div id="leftnav">
<a href="ssh2.show.php">Retrieve results</a><br>
<a href="index.php">Run job</a><br>
<a href="ssh2.alter.php">Customize applications</a><br>
<a href="ssh2.mmanager.php">Customize machines</a><br>
<?echo $GLOBALS['image'];?>
</div>
