function seq_menu ( ) {

}