function getCookie(name) {
    var cookie = document.cookie;
    var prefix = name + "=";
    var begin = cookie.indexOf("; " + prefix);
    if (begin == -1) {
	begin = cookie.indexOf(prefix);
	if (begin != 0) 
	    return null;
    } else {
	begin += 2;
    }
    var end = document.cookie.indexOf(";", begin);
    if (end == -1) {
	end = cookie.length;
    }
    return unescape(cookie.substring(begin + prefix.length, end));
}

function checkcookie()
{
    page = getCookie("page");
    if (page) {
	document.cookie = "page=; path=/;expires=Thu, 01-Jan-70 00:00:01 GMT";
	top.index.location=page;
    }
}