function newSize(datoY,theId) {
  if ((theId == null) || (theId == undefined)) {
    theId = 'flashcontent';
  }
  if (document.all && !document.getElementById) {
    document.all[theId].style.pixelHeight = datoY;
  }
  else {
    document.getElementById(theId).style.height = datoY+'px';
  }
}