void main ()
{
...
while (1)
{
	if ((key_f11))
	{
		toggle(panDisplay2,VISIBLE);
		toggle(panDisplay2,OVERLAY);
		toggle(panDisplay,VISIBLE);
		toggle(panDisplay,OVERLAY);
		while((key_f11)) wait(1);
	}
wait(1);
}
...
}