// months.js

var months;

  months = new Array(new Array("Jan", "Jan"), new Array("Fev", "Feb"),
	             new Array("Mar", "Mar"), new Array("Abr", "Apr"),
	             new Array("Mai", "May"), new Array("Jun", "Jun"),
	             new Array("Jul", "Jul"), new Array("Ago", "Aug"),
	             new Array("Set", "Sep"), new Array("Out", "Oct"),
	             new Array("Nov", "Nov"), new Array("Dez", "Dec"));