Miscellany

<?php 
while($rows=pg_fetch_array($result)){
while ($ip_row = pg_fetch_array($result_ip))
{
//		 echo "<OPTION VALUE=\"$rows[0]\">$rows[1]";  
		 echo "<OPTION VALUE=\"$rows[0]\">$ip_rows["address"]";  
		 }
}
?>