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){
   ta_tags.setAttribute("cols", width)
   ta_tags.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>