function doZoom(size){
	document.getElementById('zoom').style.fontSize=size+'pt'
}
function message(Url,Title,Width,Height){
	var ret=0;
	ret=showModalDialog(Url,Title,"dialogWidth:"+Width+";dialogHeight:"+Height+";center:yes;resizable: Yes; edge: Raised;");
	return ret
}