function viewSource() {
	var url="view-source:" + window.location.href; 
	document.location=url;
}