function mover()
{
 event.srcElement.style.color="#0000ff";
 }
 
 function mout()
 {// this color is determined in pbcrcStyle.css for standard text color
 event.srcElement.style.color="#4169E1";
 }