javascript: function v(){
	c=window.open('','c','');
	d='';
	e='';
	h=window.document.childNodes;
	i=0;
	while(h[i]){
		if(h[i].outerHTML){
			d+=h[i].outerHTML;
		}else{
			if(h[i].innerHTML){
				d+=h[i].innerHTML;
			}
		}
		i++;
	};
	e='<pre><xmp>'+d+'</xmp></pre>';
	window.c.document.write(e);
};
v();