document.writeln(' $\"Batman$ ');