prefs['display_menu']); ?>