^ 0157 9 )1700