; #definitions