exit
It simply ends the execution of this script or piece of code. (It does not end the execution of the game! For this you need the function game_end(); see below.)