// JavaScript Document
function returnDocument() {
        var file_name = document.location.href;
        return file_name.substring(file_name.lastIndexOf("/")+1, file_name.lastIndexOf("."));
		
    }
window.onload= function()
{
	
	
	document.getElementsByTagName('body')[0].id=returnDocument();
	
}