<?php
ini_set("display_errors", 1);
require_once "classes/user.php";
if (isset($_GET["logout"])) {
User::RemoveCookie();
header("Location: /huji/");
exit;
}
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<link rel="stylesheet" type="text/css" href="css/index.css?v=0.0.1" />
<link href='http://fonts.googleapis.com/css?family=Open+Sans' rel='stylesheet' type='text/css'> <!-- for Open-Sans font -->
<script type="text/javascript" src="js/jquery-2.1.3.min.js"></script>
<script type="text/javascript" src="js/jquery.balloon.min.js"></script>
<script type="text/javascript" src="js/index.js"></script>
</head>
<body>
<h1>
<img src="pics/logo.png" alt="FreeSpot" />
</h1>
<div id="divMapAndExplanation">
<div id="divProperties">
<div id="divSelectLab">
<select id="slctAquariumID" onchange="loadLab();">
<option value="2" selected="selected">Aquarium A</option>
<option value="1">Aquarium C</option>
<option value="3" disabled="disabled">Old Aquarium</option>
