print "The value of \$choice is '$choice'\n";
while ($choice ne ...