Manca l'unita` di misura.
Immagino che siano pixel, quindi modifica:
document.getElementById('mainswf').style.height = ''+(parseInt(document.getElementById('mainswf').st yle.height) + 25)+'px';