function changeBottom( txt ) {
	window.status = txt;
	return true;
}

//  function changeImage( img_name, img_src ) {
//		window.document.images[img_name].src = img_src;
//    return true;
//  }