function doclick(page)
{	if ( typeof top.nav.isclicked == 'function' )
	{	top.nav.isclicked ( page );
	}
}