welcome_on(0);function welcome_on(flashes){flashes++;document.getElementById("flashing_welcome").style.visibility='';if(flashes<3){setTimeout('welcome_off('+flashes+')',1000);}}
function welcome_off(flashes){document.getElementById("flashing_welcome").style.visibility='hidden';setTimeout('welcome_on('+flashes+')',1000);}