function enlarge() 
{
    var ta=document.editform.text;
    ta.style.height="500px";
}

function shrink() 
{
    var ta=document.editform.text;
    ta.style.height="250px";
}