function is_external(obj)
{
    return (obj.hostname != location.hostname);
}
function filename(url)
{
	return url.substr(url.lastIndexOf("/")+1, url.length);
}