//console.log("start");
    var petBasket = [];
    var SHELL_USERNAME = '******';
    var user = '******'user']) ? $_SESSION['user'] : '';
?>
';

    if (user !== undefined && user !== '') {
        //throw "exit";
        var basketJsonString = <?php 
echo isset($_SESSION['user']) ? PetBasketController::myPetBasket($_SESSION['user'], 'json') : '[]';
?>
;
        petBasket = JSON.parse(basketJsonString);
        //throw "exit";
        makePetBasketItems(petBasket);
    } else {
        console.log("no user logged in");
    }

    // return to a particular tab/page after a full request
    var context = '<?php 
echo isset($get['context']) ? $get['context'] : null;
?>
';