document.write("

$\"\"$

\n"); document.write("

$\"\"$ $\"\"$ $\"\"$

/**/\n");