// JavaScript Document -  Menu de opciones de la web, copia de la home

document.write('<br />');
document.write('<a href="/noticias/" class="menu"> &uacute;ltimas noticias</a> &#8226; <a href="/especiales/" class="menu">especiales</a> &#8226; <a href="/productos/" class="menu">nuevos productos </a> &#8226; <a href="/reportajes/" class="menu">reportaje</a> &#8226; <a href="/formacion/" class="menu">formaci&oacute;n y normativa</a>');
document.write('<div id="sep"></div>');
document.write('<a href="/datos_sector/" class="menu">datos del sector </a> &#8226; <a href="/buscar_proveedores/" class="menu">b&uacute;squeda de proveedores </a> &#8226; <a href="/concursos/" class="menu">concursos p&uacute;blicos </a> &#8226; <a href="http://www.rbi.es/elektroprofesional-news/" class="menu">boletines de noticias </a><a href="/imagenes/elektro/menu.gif" class="menu"> </a> ');