Si el proceso es local y no ocupas que el valor quede en el servidor usa javascript
:
Código HTML:
<script>
var pestaña_defecto = <?php $_REQUEST['pestana_defecto']?>
function set_pestaña_defecto( valor ) {
pestaña_defecto = valor;
}
</script>
<li class="pestanas3" tabindex="0" onclick="set_pestaña_defecto(4)">