Questo funziona:
codice:
<FRAMESET id="corpo" COLS="250,*" border="10"> 
<FRAME SRC="" NAME="sinistra"> 
<FRAME SRC="pippo.htm" NAME="destra"> 
</FRAMESET>
codice:
<script>
var larg=250
function a() {
  parent.document.getElementById('corpo').cols = ""+larg+",*"; 
  larg--;
  if(larg>100) setTimeout("a()",10);
}
a()
</script>
ciao