function set_sub_menu(id){

	document.getElementById("topmenu2").innerHTML = document.getElementById("sub_menu"+id).innerHTML;

}