function showFile(filename, targ) {
	obj = document.getElementById(targ);
	if (! obj) obj = eval("document.all." + targ);
	if (obj) obj.src = filename;
	return false;
}