//
function onAnchorButtonMouseOver(element) {
	if(element != null) { element.style.color='Blue'; }
}
//
function onAnchorButtonMouseOut(element) {
	if(element != null) { element.style.color='Gray'; }
}
function ImageMouseOver(element) {
	if(element != null) { element.style.width='100%'; element.style.height='100%'; }
}
function ImageMouseOut(element,width,height) {
	if(element != null) { element.style.width=width; element.style.height=height; }
}
//
function SetIframeSource(ifname, source) {
	if(document != null && document.getElementById(ifname) != null) {
		document.getElementById(ifname).src=source;
	}
}