No matches were found for subject:"Re\: \[time\-nuts\] what is the best way to multiply a 10 Mhz signal\?"