var loc = top.location.href;
    var new_loc = "";
	if ((loc.indexOf("http://") != -1) && (loc.indexOf("localhost")== -1))
	{
		// Descomentar en Pro
	  	//new_loc = loc.replace("http://","https://");	 
	 	//top.location.href = new_loc;
	}