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