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