editing menu.php -question about menu #’s

I’m installing WP-DBManager plugin to WP 1.5. Part of the installation instructions state:

// Open wp-admin/menu.php

Find:
$menu[25] = array(__('Presentation'), 8, 'themes.php');
(Add Above It:
$menu[24] = array(__('Database'), 9, 'database-manager.php');

In my menu.php file the number inside the brackets is 40 (see below), rather than 25.
$menu[40] = array(__('Presentation'), 8, 'themes.php');

How will this affect the line of code that I’m supposed to add? Should the 24 in it be changed and if so, to what?

Any advice is greatly appreciated.
Thanks.