If sin 1 alpha 17