// JavaScript Document
web_names = Array('Research papers', 'Conference Contributions', 'Presentations' );

web_addrs = Array('./pub.html', './conf.html', './pres.html' );
document.write('<ul>');
for( i in web_names ) {
	document.write( '<li><a href="'+web_addrs[i]+'">'+web_names[i]+'</a></li>' );
}
document.write('</ul>');