function setFlashWidth(divid, newW){
document.getElementById(divid).style.width = newW+"px";
}

function setFlashHeight(divid, newH){
document.getElementById(divid).style.height = newH+"px"; 
}

function setFlashSize(divid, newW, newH){
setFlashWidth(divid, newW);
setFlashHeight(divid, newH);
}

function resizeall() {
var xx = document.body.offsetWidth;
var yy = document.body.offsetHeight;
// var ratio = 640/420;

setFlashSize("flash1", xx-20, yy-25); 
}