// JavaScript Document

var MiniName = new Array();
var MiniLink = new Array();
var LinkBreak = 5;

MiniName[0] = 'Résumé';
MiniLink[0] = 'index.html';

MiniName[1] = 'Statement';
MiniLink[1] = 'statement.html';

MiniName[2] = 'Links';
MiniLink[2] = 'links.html';

MiniName[3] = 'Articles';
MiniLink[3] = 'articles.html';

MiniName[4] = 'Publications';
MiniLink[4] = 'publications.html';

MiniName[5] = 'Portfolio: Contrastes';
MiniLink[5] = 'portfolio1.html';

MiniName[6] = 'Portfolio: Sugarcane';
MiniLink[6] = 'portfolio2.html';

MiniName[7] = 'Portfolio: Various Works';
MiniLink[7] = 'portfolio3.html';


var PageTitle = 'José Marti';

MiniMenu();