function setCurrent(id) {
	e = document.getElementById(id);
	e.className += ' current';
}