Ver originalecho "<HTML><SCRIPT>document.location='menudeempleado.php?noempleado={$_GET['noempleado']}';</SCRIPT></HTML>";
