function background(){
		document.write(page);
	}
	
var page_location = window.location.pathname.substring(window.location.pathname.lastIndexOf("/")+1,window.location.pathname.indexOf("."));

function menu(pageUrl, pageName){
		

	var page_format = '';
	if (pageUrl.lastIndexOf(".")+1){
		page_format = pageUrl.substring(pageUrl.lastIndexOf(".")+1);
		pageUrl = pageUrl.substring(0, pageUrl.lastIndexOf("."));
	}
	
	if (page_format == ''){page_format = 'html'}	

	if (pageUrl == page_location){
		
		document.write('<p><b>'+pageName+'</b></p>');
	}
	else{
		
		document.write('<a href=\"'+pageUrl+'.'+page_format+'\">'+pageName+'</a>');
	}
}