wrote a failing test for 8090  and made the test to pass for 1250