function menu() {

document.write(' <ul> ');
document.write('<li><a href="Default.htm">Home</a></li><li><a href="Downloads.htm">Downloads</a></li><li><a href="Contact.htm">Contact</a></li><li id="last"><a href="../Members/Default.aspx" title="Klik hier om u aan te melden op het REG Media Extranet">Extranet</a></li> ');
		document.write(' </ul> ');

}