1258 , « »ctr