var BACKGROUNDS = [
  { 'bg' : 'bg-1.jpg', 'top' : 'bg-1-top.gif' },
  { 'bg' : 'bg-2.jpg', 'top' : 'bg-1-top.gif' },
  { 'bg' : 'bg-3.jpg', 'top' : 'bg-1-top.gif' },
  { 'bg' : 'bg-4.jpg', 'top' : 'bg-1-top.gif' },
  { 'bg' : 'bg-5.jpg', 'top' : 'bg-1-top.gif' },
  { 'bg' : 'bg-6.jpg', 'top' : 'bg-1-top.gif' }
];

function set_background(){
  var top_div = document.getElementById('logo-div');
  
  var bset = BACKGROUNDS[ Math.floor(Math.random()*BACKGROUNDS.length) ];
  
  document.body.background = "images/backgrounds/"+bset.bg;
  top_div.background = "images/backgrounds/"+bset.top;
}