bVer =  parseInt(navigator.appVersion);
if (bVer >= 4)
{
	if (navigator.appName == "Netscape")
		document.write ("<link rel='fontdef' src='digital.pfr'>");
	else
	{
    
		document.write ('<style type="text/css">');
		document.write (' @font-face {');
		document.write (' font-family: DevLys 010'+"\;");
		document.write (' font-style: normal'+"\;");
		document.write (' font-weight: normal'+"\;");
		document.write (' font-style:  oblique'+"\;");
		document.write (' src: url("DEVLYS2.eot")');
		document.write (' src: url("DEVLYS1.eot")');
		document.write (' font-weight: 700'+"\;");
		document.write (' src: url("DEVLYS0.eot")');
		document.write ('}');
		document.write ('</style>');
	}
}
else
	location.href="help.htm";