// carga una hoja de estilo dependiendo de la resolucion del cliente
if (screen.width > 800) {document.write('<LINK rel="STYLESHEET" href="estilo/menus1024.css" TYPE="text/css">')}
else   
	{document.write('<LINK rel="STYLESHEET" href="estilo/menus800.css" TYPE="text/css">')}