--- themes/Default/header.php.OLD Tue Jun 4 00:02:50 2002 +++ themes/Default/header.php Thu Jun 13 18:06:57 2002 @@ -30,7 +30,7 @@ - +