lav variable der indeholder html, php og checked radio buttons fra database udtræk

Hej eksperter!
Jeg har et problem som måske er indviklet, måske enkelt!?
Jeg har en index.php side med include 'definitions.php'

index.php henter så fra definitions hvad der skal vises på siden ved at skrive:

echo "$system";

I definitions er $system defineret:
if($type = telefoner){
$system = "
<input type='radio' name='a3' value='iOS' />  iOS<br />
<input type='radio' name='a3' value='Android' />  Google Android<br />
<input type='radio' name='a3' value='Symbian' />  Symbian<br />
";
}
if($type = computer)
{
$system = "
<input type='radio' name='a3' value='Windows' />  Windows<br />
<input type='radio' name='a3' value='OS X' />  OS X<br />
";
}

dvs. typen man har med at gøre afgør hvad $system egentlig er.
Mit problem er at når man vælger en af disse radio buttons bliver det gemt i en database. Hvis man så går tilbage til index.php skal den radio button man har checked tidligere være checked.

Jeg kan ikke regne ud hvordan det skal laves når det er på en anden side og allerede er i php og omklamret med " ", er der nogen der kan hjælpe?