+$key = $_COOKIE['key'];
+$onetimepad = $_SESSION['onetimepad'];
+$username = $_SESSION['username'];
+$delimiter = $_SESSION['delimiter'];
+
+if (isset($_GET['fold'])) {
+ $fold = $_GET['fold'];
+}
+if (isset($_GET['unfold'])) {
+ $unfold = $_GET['unfold'];
+}