/\@*/		OK

