// JavaScript for the status bar text //

window.defaultStatus='Done';

function ShowStatus(linkname)
	{
	window.status=linkname;
	}

// End of status bar script //

// =================================================