--- p2.orig/menu.php 2003-07-27 23:25:59.000000000 +0900 +++ p2/menu.php 2003-08-09 09:43:19.000000000 +0900 @@ -142,6 +142,7 @@ $norefresh_q = "&norefresh=true"; echo << \n +
EOP; //==============================================================