bill 4517