function flashfun(num)
{
document.flash.src='img/base/ba5_848_'+num+'.gif';
}