5/12 of 100 is equal to 13/19 of which number?