Mine

<script type="text/javascript">

// Set text editing box dimensions
var editbox_width = 120;
var editbox_height = 60;

var textarea_tags = document.getElementsByTagName("textarea");

function set_editbox_size(ta_tags, width, height){
   for (var index in ta_tags){
      ta_tags[index].setAttribute("cols", width)
      ta_tags[index].setAttribute("rows", height)
   }
}

var old_onload = window.onload;
window.onload = function() {
   if (old_onload != null)
      old_onload();

   set_editbox_size(textarea_tags, editbox_width, editbox_height);
};
</script>