// This changes the css so that the header image changes randomly with every refresh
function GetRandomCSS() {
   var cssList = new Array(
        'assets/templates/site_design/css/headimage1.css',
        'assets/templates/site_design/css/headimage2.css',
        'assets/templates/site_design/css/headimage3.css',
        'assets/templates/site_design/css/headimage4.css',
		 'assets/templates/site_design/css/headimage5.css',
		  'assets/templates/site_design/css/headimage6.css',
		   'assets/templates/site_design/css/headimage7.css',
		    'assets/templates/site_design/css/headimage8.css',
        'assets/templates/site_design/css/headimage9.css',
		'assets/templates/site_design/css/headimage10.css');
   var randnum = Math.floor(cssList.length *
        Math.random());
   return cssList[randnum];
}
function changeCSS() {
   document.getElementById('cssHolder').setAttribute(
        'href',
        GetRandomCSS());
}