name; } $partitionCount = $_SESSION['partitionCount']; echo "\n"; ?>