( 5290 ; ~ )