as3257