function autoExpand(box) {
    var maxrows = 10;
    var txt = box.value;
    var cols = box.cols;
    var arrtxt = txt.split('\n'); var rows = arrtxt.length;
    for (i = 0; i < arrtxt.length; i++) {
        rows += parseInt(arrtxt[i].length / cols);
    }
    if (rows > box.maxrows) { box.rows = box.maxrows + 10; } else { box.rows = rows + 1; }
}