function $() {
	var elements = new Array();
	for (var i = 0; i < arguments.length; i++) {
		var element = arguments[i];
		if (typeof element == 'string')
			element = document.getElementById(element);
		if (arguments.length == 1)
			return element;
		elements.push(element);
	}
	return elements;
}

function show(x){
	$('act').id = 'nonact'
	x.className = x.className + ' over'
}

function hide(x){
	x.className = x.className.substring(0,2)
	$('nonact').id = 'act'
}

function printPage(url) {
	w = 700
	h = 500
	d = window.open(url,'print', 'width='+w+',height='+h+',left='+((screen.width/2)-(w/2))+',top='+((screen.height/2)-(h/2)))

}