// $Id: flashinfo.js,v 1.2 2006/12/05 18:23:17 excellent Exp $
var flashinfo = new Object();
flashinfo.init = function() {
	if (document.getElementById && document.getElementsByTagName) {
		var list = document.getElementById("flashinfos");
		this.links = list.getElementsByTagName("a");
		this.vignettes = new Array();
		for (var i = 0; i < this.links.length; i++) {
			this.links[i].index = i;
			var vignette = new Image();
			vignette.src = this.links[i].pathname.replace(/\.pdf/, ".jpg").replace(/\/pdf\//, "/img/");
			this.vignettes.push(vignette);
			this.links[i].onmouseover = this.over;
			this.links[i].onmouseout = this.out;
		}
		this.links[0].onmouseover();
	}
}
flashinfo.onload = (window.onload) ? window.onload : function () {};
window.onload = function () {flashinfo.onload(); flashinfo.init()};
flashinfo.over = function() {
	if (flashinfo.vignettes[this.index].complete) {
		var title = document.getElementById("vignette-title");
		var image = document.getElementById("vignette-img");
		image.src = flashinfo.vignettes[this.index].src;
		title.innerHTML = this.innerHTML;
	}
}
flashinfo.out = function() {
	if (this.index) {
		flashinfo.links[0].onmouseover();
	}
}