} else { ?> <script type="txt/javascript"> window.location = "ver_noti_todo3.php?numero=<?=$row['numero']?>; </script> <? }