function tag(page)

{

document.getElementById(page).className = 'tagged';

}