javascript: if (typeof XMLSerializer != 'undefined') { var text = new XMLSerializer().serializeToString(document); var win = window.open('', 'sourceView'); win.document.open(); win.document.write('
<\/pre><\/body><\/html>'); win.document.close(); win.document.getElementById('result').appendChild(win.document.createTextNode(text)); } void 0