%
% stack: js-string visible
%
{
 &"SetVsrch(true)"
}
{
 &"SetVsrch(false)"
} ifelse

%
% stack: js-string-added
%