a veces no hay nada como un buen paseo.... duda resuelta

por si a alguien le pudiera servir de ayuda
Código PHP:
<? //pagina de inicio del sistema
//primero verificamos que el usuario no haya iniciado una session
//en caso afirmativo nos dirigira a la pantalla de inicio
session_start ();
if (isset($_SESSION["autentificado"])){
include ('scripts/db-conn.php');
// funcion para contar los registros en la base de datos
$contar = "SELECT marca, modelo, count(*) as resultado from c_coches group by marca, modelo";
$query = mysql_query ($contar); ?>
<table>
<?
while ($rows = mysql_fetch_array ($query)) { ?>
<tr>
<td><? echo $rows["marca"]; ?></td>
<td><? echo $rows["modelo"]; ?></td>
<td><? echo $rows["resultado"]; ?></td>
<tr>
<? }
}//en caso de que no hubisemos iniciado session
//tenemos que dirigir al usuario donde pueda hacerlo
//esto es la pagina de login
else {
header ("Location:login.php");
}?>