avd 1257 =
< >