fun () cool () ok ()