changed isbn_num in mysql_test to varchar