rem: } 
context: function PMA_setFrameSize(){    pma_navi_width = PMA_getCookie('pma_navi_width');    //alert('from cookie: ' + typeof(pma_navi_width) + ' : ' + pma_navi_width);    if (pma_navi_width != null) {        parent.document.getElementById('mainFrameset').cols = pma_navi_width + ',*';        //alert('framesize set');    }}
meta: 6623	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6623/b0ff4dbf3478b0b37bb69e1d4a63ee2f51a6dee7/navigation.js/clean/js/navigation.js