dummy:int;