// flash menu control script, only written if Flash version is correct.
if(hasRightVersion) {	// if we've detected an acceptable version
var MenuBack = '<DIV onmouseover="golabel(menu_page)">'
+ '<IMG src="/images/space.gif" width="538" height="2">'
+ '</DIV> \n';

document.write(MenuBack); 	// embed the flash menu control script

}
// -->