( ( telefon-nummer 130 ) ,if