context: function PMA_saveFrameSizeReal(){    pma_navi_width = document.getElementById('body_leftFrame').offsetWidth    //alert('from DOM: ' + typeof(pma_navi_width) + ' : ' + pma_navi_width);    if (pma_navi_width > 0) {        PMA_setCookie('pma_navi_width', pma_navi_width, expires);        //alert('framesize saved');    }}
meta: 5450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5450/f9ce91489133fba078a1a3ce5bc77fe3b3744945/navigation.js/clean/js/navigation.js