Miscellany

			$query  = "SELECT DISTINCT tags FROM files";
			$result = mysql_query($query);
			$numRows = mysql_num_rows($result);
				while ($row = mysql_fetch_array($result))
				{
						$tags = explode(', ', $row['tags']); 
						foreach($tags as $b)
						{
						echo '<a href="tag.php?tag=', $b, '" style="font-size:25px">', $b, '</a> ';
						}
				}