rem: set_cookie('active_tab',wname.substr(7)); 
context: 	function store_tab_url()	{		wname = window.name;		tab_name = 'tab_' + wname.substr(7);		set_cookie(tab_name + '_last_url', escape(window.location.href));		set_cookie('active_tab',wname.substr(7));	}
meta: 8196	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8196/9842b7440c6b0422929139822ab54055c93954aa/store_tab_url.js/clean/php4/branches/2.2.3/shared/js/store_tab_url.js