function echoCurrentDate()
{
	var now = new Date();
	var mm = now.getMonth() + 1;
	var dd = now.getDate();
	document.write(now.getFullYear() + "Äê" + (mm < 10 ? "0" + mm : mm) + "ÔÂ" + (dd < 10 ? "0" + dd : dd) + "ÈÕ");
}

function addBookmark(anchor)
{
	if (window.external)
	{
		window.external.AddFavorite(anchor.getAttribute("href"), anchor.getAttribute("title"));
		return false;
	}
	return true;
}