has una prueba de esta manera
Código PHP:
<?
$menu='<a href="?opcion=1">
<img src="imagenes/inicio3.jpg" border="0" onMouseOver="over(this)" onMouseOut="out(this)"/>
</a>';
?>
Esto en un Archivo JS... (ej: mouse.js)
Código:
<javascript>
function over(a){
a.src='imagenes/inicio2.jpg';
}
function out(a){
a.src='imagenes/inicio.jpg';
}
</javascript>
No te olvides de llamarlo en el código principal;
Código PHP:
<script type='text/javascript' src='mouse.js'></script>