// JavaScript Document

function articlePagination(i, x){
	document.getElementById('articleContentArea').style.marginTop = -i +'px';
	
	var linkObj = document.getElementById('pagination');
	var subLinkObj = linkObj.getElementsByTagName('a');
	
	for(var j = 0; j < 6; j++){
		subLinkObj[j].className = '';
	}
	x.className = 'pageLinkSelected';
}