function pagecounter_over(nnn){
 nnn.style.backgroundColor="#000099";
}
function pagecounter_out(nnn){
 nnn.style.backgroundColor="#101224";
}
function smenuover(rr) {
 rr.style.backgroundColor = '#000066';
 rr.style.color = "#FFFFFF";
 
}
function smenuout(rr) {
 rr.style.color = "#666666";
 rr.style.backgroundColor = '#101224';
}
function clearf (edit) {
  edit.value = '';
}