Probá así:
Código PHP:
echo "<div align='right' ><span class='Estilo4'>".$auxuser."</span><span class='Estilo6'>|</span><a onclick='cierra(".$useronline.",".$nombre_archivo3.");' href='index.php' class='Estilo3'>Cerrar sesion</a>";
PD: por favor no repitas el mismo mensaje en diferentes foros, gracias.