function newcol(colour) {
document.getElementById(colour).style.background = "DDDDDD"
}
function oldcol(colour){
document.getElementById(colour).style.background = "EEEEEE"
}

function SendUser(newURL) {
window.location = newURL
}