// JavaScript Document

var timer1;
var timer2;
var timer3;

function hideMenu(id) {
	setTimeout("hideME('"+id+"')",500);
}

function cancelHide() {
	clearTimeout();
}

function doArt(id) {
	var detail = document.getElementById('detail');
	var src = document.getElementById(id);
	detail.innerHTML = src.innerHTML;
}