```php $_SESSION['best']) { $_SESSION['best'] = $score; } header('Content-Type: application/json'); echo json_encode([ 'best' => $_SESSION['best'] ]); exit; } $best = $_SESSION['best']; ?>