while($row = mysqli_fetch_assoc($device_list))
{
if ($current_device == $row['device'])
{
	echo "<option value={$row['device']} selected='selected'>{$row['device']}</option>";
}
else
{
	echo "<option value={$row['device']} >{$row['device']}</option>";
}
}