function changefield1() {
document.getElementById('codefield').style.backgroundColor='#f7f7f7';
document.getElementById('codefield').style.borderColor='#0080c0';
}

function changefield2() {
document.getElementById('codefield').style.backgroundColor='#ffffff';
document.getElementById('codefield').style.borderColor='#3e3e3e';
}