campanario de la iglesia de san Juan, MANCHA REAL