<br> <br> <br> <br> <div class="book_details"> <table border="1"> <?php include "../Model/library.php"; include "../Model/student.php"; $library = new library(); if (isset($_SESSION["user_student"])) { $student = new student($_SESSION["user"]); } $book_loc = $_GET; if (isset($book_loc['checkout'])) { $library->burrow($book_loc['shelf'], $book_loc['book'], $library->shelf[$book_loc['shelf']]->books[$book_loc['book']]->copyID, $student); } if (isset($book_loc['return'])) { $library->returnbook($book_loc['shelf'], $book_loc['book'], $library->shelf[$book_loc['shelf']]->books[$book_loc['book']]->copyID, $student); } echo "<tr>"; echo "<td>"; echo "Book ID"; echo "</td>"; echo "<td>"; echo $library->shelf['shelf' . htmlentities($book_loc["shelf"], ENT_QUOTES, "utf-8")]->books['book' . htmlentities($book_loc["book"]->bookID)]; echo "</td>"; echo "</tr>"; echo "<tr>"; echo "<td>"; echo "Copy ID";