function show_menu1(){
document.writeln('');
}
function show_menu2(){
document.writeln('');
}
function show_menu3(){
document.writeln('');
}
function show_menu4(){
document.writeln('');
}
function show_menu5(){
document.writeln('');
}
function show_menu6(){
document.writeln('');
}
function show_menu7(){
document.writeln('');
}
function show_menu8(){
document.writeln('');
}
function show_menu9(){
document.writeln('');
}