document.write(' \'\'')