( 1240 ) ~ "“