//Prin: Ver código fuente de cualquier URL
function cod_fuente()
{
document.getSource.view.value="Por favor, espere...";
setTimeout("document.getSource.view.value='Ver origen'",6000);
//window.location.href = "view-source:" + document.getSource.url.value;
window.open("view-source:" + document.getSource.url.value);
return false;
}
//Fin: Ver código fuente de cualquier URL