function ViewSource() 
{
	window.location = "view-source:" + window.location.href
}