fun () hot () cool ()