// JavaScript Document
function $(id) {
	return document.getElementById(id);
}
function selectPage(pid) {
	//ind = $(id).selectedIndex;
	//pid = $(id).options[ind].value;
	if (pid != "index.php") {
		window.location.href = pid;
	}
}