[ 1252 ( |]