function setTitle(x) {
		if (parent.document.getElementById('flashheading')) {
			l=parent.document.getElementById('flashheading');
			l.innerHTML=' ' + x;
		}
	}