Something

			for($i = 1; $i <= $numofpages; $i++) {
				if($i == $page) {
					echo $i.' | ';
				} else {
					echo '<a href="javascript:page('.$i.');">'.$i.'</a> | ';
				}
			}