'; document.write(str);