Random radio buttons PHP

I have these radio buttons...

<div class="radio"><label><input type="radio" name="1" id="1" value="0"><?php echo $incorrect1; ?></label></div>
<div class="radio"><label><input type="radio" name="2" id="2" value="0"><?php echo $incorrect2; ?></label></div>
<div class="radio"><label><input type="radio" name="3" id="3" value="1"><?php echo $correct; ?></label></div>  

Id like them to display in different orders randomly, how wuld i do that in php? Thanks