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

');