Miscellany

<?php	$query = mysql_query("		SELECT paper_year		FROM tbl_papers	");		$paper_array = array();	while ($year_row = mysql_fetch_array($query, MYSQL_ASSOC)) {		$paper_array[] = $year_row['paper_year'];	}	$paper_array = array_unique($paper_array);	sort($paper_array);?>