1595 		while ($row2 = mysqli_fetch_array($result2)) {  variable
1596 			$thisfileformat = $row2['fileformat'];
1597 			$filenames[] = $row2['filename'];
1598 			$tags[]      = $row2['tags'];
1663 			while ($row2 = mysqli_fetch_array($result2)) {  variable
1664 				echo WindowsShareSlashTranslate($row2['filename'])."\n";
1692 			while ($row2 = mysqli_fetch_array($result2)) {  variable
1694 				$filenames[] = $row2['filename'];
1695 				$artists[]   = $row2['artist'];
1696 				$titles[]    = $row2['title'];
1697 				$remixes[]   = $row2['remix'];
1698 				if ($row2['vbr_method']) {
1699 …<B'.($row2['encoder_options'] ? ' style="text-decoration: underline; cursor: help;" title="'.$row2…
1701 					$bitrates[]  = BitrateText($row2['audio_bitrate'] / 1000);
1703 				$playtimes[] = getid3_lib::PlaytimeString($row2['playtime_seconds']);