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