';
}
function drawdots($dice)
{
//Dynamically draws dot patterns of a dice based on roll (1..6)
echo '';
}
if (isset($_POST['submit'])) {
//user wants to roll
$dice = mt_rand(1,6);
//tally
$_SESSION['tally'][0] +=1;
$_SESSION['tally'][$dice]+=1;
} else {
//yet to roll - setup
$_SESSION['tally'] = [0,0,0,0,0,0,0];
$dice=0;
}
//create screen display
echo '