function logoChange(imageSrc) {
	return pictureChange(document.getElementById('logo'), imageSrc);
}
function logoHighlight() {
	return logoChange('/images/varacalli-logo-with-home-red.gif');
}
function logoNormal() {
	return logoChange('/images/varacalli-logo-with-home.gif');
}
function pictureChange(img, imageSrc) {
	if (document.images) {
		img.src = imageSrc;
	}
	return true;
}
function clearDefaultText(textControl, defaultText) {
	if (textControl.value == defaultText) {
		textControl.value = '';
	}
}
function setDefaultText(textControl, defaultText) {
	if (textControl.value == '') {
		textControl.value = defaultText;
	}
}
/* $Id: page-header.js 728 2005-05-26 16:12:56Z  $ */