// JavaScript Document
function flash_resize(id, width, height) {
	var o = document.getElementById(id);
	o.style.width = width;
	o.style.height = height;
}