function mouseInStyle(articleID){
var articleID=articleID;
document.getElementById(articleID).style.backgroundColor="#ffffff";
}
function mouseOutStyle(articleID){
var articleID=articleID;
document.getElementById(articleID).style.backgroundColor="#dddddd";
}
function mouseOutStylePH(articleID){
var articleID=articleID;
document.getElementById(articleID).style.backgroundColor="#eeeeee";
}