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