document.write ("<h1>Porte</h1>")
function navigation()
{
        if(document.formulaire.url.value!="Vide")
	{
		document.location=document.formulaire.url.value;
	}
}
document.write ("<FORM name=\"formulaire\" method=\"POST\">")
document.write ("<select size=\"1\" name=\"url\" onChange=\"navigation()\">")
document.write ("<option value=\"Vide\">menu Porte</option>")
document.write ("<option value=\"../p/porte-001.html\">Portes</option>")
document.write ("<option value=\"../p/porte-accessoires-001.html\">Accessoires</option>")
document.write ("<option value=\"../p/porte-acoustique-001.html\">Acoustique</option>")
document.write ("<option value=\"../p/porte-accordeon-001.html\">Accordéon</option>")
document.write ("<option value=\"../a/arret-de-porte.html\">Arrêt</option>")
document.write ("<option value=\"../p/porte-automatique-001.html\">Automatique</option>")
document.write ("<option value=\"../p/porte-barre-de-poussee-001.html\">Barre de poussée</option>")
document.write ("<option value=\"../p/porte-butoirs-001.html\">Butoirs</option>")
document.write ("<option value=\"../p/porte-cave-001.html\">Cave</option>")
document.write ("<option value=\"../c/chassis-de-porte-001.html\">Chassis</option>")
document.write ("<option value=\"../p/porte-coulissante-001.html\">Coulissante</option>")
document.write ("<option value=\"../p/porte-coupe-feu-001.html\">Coupe-Feu</option>")
document.write ("<option value=\"../p/porte-cremone-001.html\">Crémone</option>")
document.write ("<option value=\"../p/porte-entree-001.html\">Entrée</option>")
document.write ("<option value=\"../p/porte-ferme-porte-001.html\">Ferme-porte</option>")
document.write ("<option value=\"../p/porte-garage-001.html\">Garage</option>")
document.write ("<option value=\"../p/porte-heurtoir-001.html\">Heurtoir</option>")
document.write ("<option value=\"../p/porte-batiment-industriel-001.html\">Industrielle</option>")
document.write ("<option value=\"../p/porte-acier-001.html\">Métallique</option>")
document.write ("<option value=\"../p/porte-paliere-001.html\">Palière</option>")
document.write ("<option value=\"../p/porte-pivot-001.html\">Pivot</option>")
document.write ("<option value=\"../p/porte-placard-001.html\">Placard</option>")
document.write ("<option value=\"../p/porte-poignee-001.html\">Poignée</option>")
document.write ("<option value=\"../p/porte-securite-001.html\">Sécurité</option>")
document.write ("<option value=\"../p/porte-seuil-001.html\">Seuil</option>")
document.write ("<option value=\"../p/porte-speciale-001.html\">Spéciale</option>")
document.write ("<option value=\"../p/porte-viseur-001.html\">Viseur, judas</option>")
document.write ("<option value=\"../p/porte-verre-001.html\">Vitrée</option>")
document.write ("<option value=\"../p/porte-western-001.html\">Western</option>")
document.write ("</select>")