incrustar código javascript en php

[omdsetenta]

$consulta_formulario_lleno = "SELECT count(*) AS Total from usuarios WHERE ip = '".$realip."' and fecha = '".$fecha."'";
$fila=mysql_fetch_assoc(mysql_query($consulta_form ulario_lleno));
$registros_totales = $fila['Total'];
if ($registros_totales==0) { ?>
<script type="text/javascript">document.location.href ="index.php";</script>;
<?php }
else {

Sigue el mismo error (;)