function getTopArticles(num)
{
	layerTopArticles = document.getElementById('topArticles');
	if (layerTopArticles) layerTopArticles.innerHTML = 'LOADING ...';
	url = '/public/GetList.php?type=top&match=total';
	url += '&num=' + num;
	url += '&current=' + category_id;
	getUrl(url, 'top_articles', 'if (top_articles) printOutTopArticles(top_articles);');
}
function printOutTopArticles(top_articles)
{
	str = '';
	for (var i = 0; i < top_articles.length; i++) str += '<li> <a href="/articles/' + top_articles[i][16] + '" title="Read ' + top_articles[i][1] + '">' + top_articles[i][1] + '</a></li>';
	layerTopArticles = document.getElementById('topArticles');
	if (layerTopArticles) layerTopArticles.innerHTML = str;
}