write(2500AND(stdin,1)+50);