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