var timeout = 1;

function writeWelcome(url)
{
	redirecturl = url;
	exec_refresh();
}
function exec_refresh()
{

	var timerID = setTimeout("exec_refresh();", 100);
	if (timeout > 0)
	{
		timeout -= 1;
	}
	else
	{
		clearTimeout(timerID);
		window.status = "";
		window.location = redirecturl;
	}
}