/*
	assummes main.js and pcw_cookielib.js are available
	returns an array of saved pages read from cookie
*/
function getSavedPages(){

	var rv = new Array();
	cookie = pcw_readCookie("savedPages");
	if(cookie!=""){
		var pages = cookie.split("\n");
		for(var i = 0; i < pages.length; i++){
			var page = pages[i].split("\t");
			rv.push({id:page[0], title: page[1], url: page[2]});
		}
	}
	return rv;
}