function changePic(path, describe)
{
	var bigpic = document.getElementById("bigpic");
	bigpic.src = path;
	var picmsg = document.getElementById("picmsg");
	if(describe)
		picmsg.innerHTML = "<center>"+describe+"</center>";
	else
		picmsg.innerHTML = "&nbsp;";
}
function changeText()
{
	var xxx = document.getElementById("xxx");
	xxx.value = "aloha";
}
function NewWin(url)
{
	//curWidth = screen.width;
	//curHeight = screen.height;
	window.open(url, '', 'toolbar=0,scrollbars=1,location=0,statusbar=0,titlebar=no,menubar=0,resizable=1,width=750,height=600');
}