Why are you using the values 'pretty', 'sexy' and 'naughty' instead of the names of the girls themselves?
Could you not use something like:
<input name="girls" type="radio" value="pretty-Antonella"> Antonella <br>
You could then split the value using PHP on the form processing page:
$output = explode("-",$_GET['girls']);
echo $output[0]; // Will echo pretty
echo $output[1]; // Will echo Antonella
Hope this helps
James