// cambiar titulo una vez cargado
var titulo_antiguo = document.title
function t(s) {
document.title = s+titulo_antiguo
}
//function unt() {
//document.title = titulo_antiguo
//}