document.write(' $\'druk$ '); document.write('
$\'\'$
');