function openAll() {
	var bunch = document.getElementById('links').getElementsByTagName('a'); var i; var l;
	for (i=0; l = bunch[i]; i++) {
		open(l.href);
	}
}