//This function swaps the text color and foreground color of the menu item when the mouse hovers over it
        function hover_func(ident){
                dummy_color=document.getElementById(ident).style.backgroundColor;
                document.getElementById(ident).style.backgroundColor=document.getElementById(ident).style.color;
                document.getElementById(ident).style.color=dummy_color;
        }

        //This function uses the css data from the SQL database and changes the prexisting css accordingly
        //chang_style() requires 7 arguments
        function change_style(menu_bg_col,menu_border_col,menu_txt_col,menu_txt_hover_col,menu_hov_col,menu_side_col,menu_side_txt_col){

                document.getElementById('ione').style.backgroundImage='none';
                document.getElementById('itwo').style.backgroundImage='none';
                document.getElementById('ithree').style.backgroundImage='none';
                document.getElementById('ifour').style.backgroundImage='none';
                document.getElementById('ifive').style.backgroundImage='none';

                document.getElementById('ione').style.backgroundColor=menu_bg_col;
                document.getElementById('itwo').style.backgroundColor=menu_bg_col;
                document.getElementById('ithree').style.backgroundColor=menu_bg_col;
                document.getElementById('ifour').style.backgroundColor=menu_bg_col;
                document.getElementById('ifive').style.backgroundColor=menu_bg_col;

                document.getElementById('ione').style.borderColor=menu_border_col;
                document.getElementById('itwo').style.borderColor=menu_border_col;
                document.getElementById('ithree').style.borderColor=menu_border_col;
                document.getElementById('ifour').style.borderColor=menu_border_col;
                document.getElementById('ifive').style.borderColor=menu_border_col;

                document.getElementById('ione').style.color=menu_txt_col;
                document.getElementById('itwo').style.color=menu_txt_col;
                document.getElementById('ithree').style.color=menu_txt_col;
                document.getElementById('ifour').style.color=menu_txt_col;
                document.getElementById('ifive').style.color=menu_txt_col;


                document.getElementById('Content').style.borderLeftColor=menu_border_col;
                document.getElementById('contcontain').style.backgroundColor=menu_side_col;
                document.getElementById('contcontain').style.color=menu_side_txt_col;

                document.getElementById('contact').style.borderBottomColor=menu_side_txt_col;
                document.getElementById('Menu').style.color=menu_side_txt_col;

        }