function ChangePicture(strImageName, strUrl)
{
	document.images[strImageName].src = strUrl;
}

function dispTF(txt)
{
	document.getElementById("msgText").innerHTML = txt;
}