var banners = ['01.jpg', '02.jpg','03.jpg','04.jpg','05.jpg','06.jpg','07.jpg','08.jpg','09.jpg','10.jpg','11.jpg','12.jpg',];
var i = Math.floor(Math.random() * 12);
var banner = banners[i];
var branding = document.getElementById('branding');
branding.style.background = '#918970 url(images/'+ banner + ') no-repeat  275px 0';