lecture14 edit: operator of type convert