options->headerCode(); ?> header(); ?> user->hasLogin()): ?>