// JavaScript Document
function toggle(newaddr)
{
	document.location=newaddr;
}
function pointer(m)
{
	m.style.cursor='pointer';
}
function defcur(m)
{
	m.style.cursor='default';
}