function set_favorite()
	{
	document.getElementById('favorite_tag').src="inc/set_favorite.php?/index.php";
	window.external.AddFavorite('http://www.ascii-table.com/index.php','- ASCII Table - ASCII and Unicode Characters -');
	}