document.write('

$\"001$

$\"\"$

');