=';
var n1=firsturl.replace(/\.\w+$/,'').replace('1','').replace('_','');
var n2=/\.[^\.]+$/.exec(firsturl);
if(a>7)
window.location.href='Default_________________________%5d5514351422455122723313337?;=';
else
{
if(a==1)
window.location.href=n1+n2;
else
window.location.href=n1+"_"+a+n2;
}
}
