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