document.writeln("Implicante
");