What is the complete bash/terminal command that would be used to terminate a process with id 12 code example

Example: how to kill a process in linux

kill -KILL PIDnumber ... for example, kill -KILL 12345