<?php
// $Id: users.php,v 1.1 2003/02/21 17:15:14 dtseiler Exp $
$default_admin_menu = "content";
$default_user_menu = "personal";
?>