function divResize(w) {  
		document.getElementById('mainSwf').style.width = w+'px';  
}