// JavaScript Document
getPageName = function() {
	var str = document.URL
	var i = 0
	var k = 0
	while (i>=0)
	{
		i = str.indexOf("/",i)
		if (i != -1)
		{ 
			k = i
			i=i+1
		}		
	}
	var page = str.substr(k+1)
	return ('eng/' + page)
}