Na das war ja klar, ich kriegs nicht hin!
also, aus dem ursprünglichen Scrit:
<script language="javascript">framesets=parent.document.getElementsByTagName("frameset");for(i in framesets){if(framesets .rows=="*,100"){framesets .rows="*,150"}}</script>
habe ich den folgenden gemacht:
<script ...