Welcome to the dice game!
$name "; echo "
You can use the following form again to enter a new name."; } ?>