context: function sizeCtl(edid,val){  var textarea = document.getElementById(edid);  var height = parseInt(textarea.style.height.substr(0,textarea.style.height.length-2));  height += val;  textarea.style.height = height+'px';    var now = new Date();  fixDate(now);  now.setTime(now.getTime() + 365 * 24 * 60 * 60 * 1000); //expire in a year  setCookie('DokuWikisizeCtl',textarea.style.height,now);}
meta: 4676	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4676/78a6aeb15ad85c8be4a7e39307b7d9aa0512742c/script.js/clean/lib/scripts/script.js