function swap(nam, rep) {
var isrc="/nav/"+rep;
document[nam].src=isrc;
}