Hola helacer prueba esto:
Código PHP:
<?php
//Aqui va el select, etc. Luego:
while ($row=mysql_fetch_array($PremAnexos))
{
echo "<input name=PremAnexos[] type=checkbox value=".$row['cod_doc']." />".$row['descripcion']." <br />";
}
?>
luego cuando para obtener los valores de los checkbos.
Código PHP:
for($i=0;$i<count($_POST['PremAnexos']);$i++) {
echo $_POST['PremAnexos'][$i] . '<br>';
}
Saludos