function viewSource ()
{
	var s;
	if ('function' == typeof XMLSerializer
	 && (s = new XMLSerializer ()) )
	{
		var pageSrc = s.serializeToString(document).replace(/\</g,'&lt;'); //>
		var oWin = window.open ('', 'source', '');
		oWin.document.write ('<title>View Source of page<\/title><pre>'
						   + pageSrc
						   + '<\/pre>');
		oWin.document.close ();
	} else
		alert ('Sorry, XMLSerializer () not supported:  typeof = ' + (typeof XMLSerializer));
} // End viewSource ()