<!--function check() {	if (document.layers) {		document.write('<SCRIPT LANGUAGE=javascript src=navscript.js></SCRIPT>');	} else if (document.all) {		document.write('<SCRIPT LANGUAGE=javascript src=iescript.js></SCRIPT>');	} else if (document.getElementById) {		document.write('<SCRIPT LANGUAGE=javascript src=domscript.js></SCRIPT>');	}}//-->
