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