function GetFileName(file_url){
file_url = file_url.substring(file_url.lastIndexOf("/")+1,file_url.length)
file_url = file_url.substring(0,file_url.indexOf("."));
return file_url;
}

var uri = GetFileName(location.href);

var pageAry = new Array("index","1","2","3","4");
var pageAry2 = new Array("a","1","2","","");

document.write('<div id = "pageNum">');
	for(var i = 0; i<pageAry.length; i++){
		if(pageAry2[i] == uri){
			document.write('<span>' + pageAry[i] + '</span> ');
		}else{
			if(pageAry2[i] !== ""){
				document.write('<a href= "' + pageAry2[i] + '.html">' + pageAry[i] + '</a> '); 
			}
			else{
			document.write('<span style="background:#fff;">' + pageAry[i] + '</span> '); 

			}
  }
}

document.write('</div>');
document.write('		</div>');
document.write('	</body>');
document.write('</html>');