function resizeBG() {  var myWidth = 0, myHeight = 0;  if( typeof( window.innerWidth ) == 'number' ) {    //Non-IE    myWidth = window.innerWidth;  } else if( document.documentElement && ( document.documentElement.clientWidth) ) {    //IE 6+ in 'standards compliant mode'    myWidth = document.documentElement.clientWidth;  } else if( document.body && ( document.body.clientWidth ) ) {    //IE 4 compatible    myWidth = document.body.clientWidth;  }
	//now we have the window width in 'myWidth'
	div2 = document.getElementById('bgholder');
	myWidth = myWidth - 15;
	newWidth = myWidth + "px";
	div2.style.width = newWidth;}