// JavaScript Document
var tipo_pag="index.php";