Czy jest możliwość przekazania wartości zmiennej z PHP do Javascript?

Program ma tablicę $zrobione, która oznacza zrobione zadania. (np. jeśli zrobiono zadanie 5 to $zrobione[5]='tak'). Obok każdego zadania jest
przycisk submit, który wysyła posta z rozwiązaniem. I teraz jeśli zadanie zostało zrobione (odczytuję to z bazy SQL), chcę zablokować przycisk. Zrobiłem to tak:

[PHP] pobierz, plaintext 
<?php if ($zrobione['1']=='tak') ?> <script>x=document.getElementById("o1"); x.disabled="disabled"; x.value="zrobione"</script>
 
[PHP] pobierz, plaintext 

No i teraz będę musiał dla każdego przycisku napisać to samo. A chciałbym, żeby działało to tak:

[PHP] pobierz, plaintext 
<?php
for ($a=1;$a<=10;$a++){
  ?><script>
   x=document.getElementById("o+"$a); x.disabled="disabled"; 
  </script><?php
}
[PHP] pobierz, plaintext 

Oczywiście to nie działa, bo zmienna $a nie jest widziana przez JS. Co można tu zrobić?

[PHP] pobierz, plaintext 
    <?php
    for ($a=1;$a<=10;$a++){
      ?><script>
       x=document.getElementById("o" + <?php echo $a ?>); x.disabled="disabled"; 
      </script><?php
    }
[PHP] pobierz, plaintext