document.write(" $\'Diagnostic$
");