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