added DELIMITER // so that the script runs OK on MySQL 5.1(.72)