function getfile() {
var str = (location.href) ;
var number_1 = str.lastIndexOf('/') + 1 ;
var number_2 = str.lastIndexOf('.') ;
var page = str.substring(number_1, number_2) ;
return page ;
}