function forceRefresh() {
    document.location.href = "document.location.href";
}

function textIn() {
    document.getElementById("paste").style.backgroundColor = "grey";
}