You may find this link useful if you want to change the default id or class of a WordPress menu:

http://stanhub.com/how-to-add-custom-id-or-class-to-wordpress-menu-using-wp_nav_menu/