function switchImage(source, target)
{
	var s = document.getElementById(source);
	if (s != null) {
		s.src = target;
	}
	return;
}