/// set_lavalevel()
global.lavastate = get_integer("Set Lava Level...", 0);
global.monstersarea = 0;