function setfocus()
{
document.getElementById('codeBox').select()
document.getElementById('codeBox').focus()
}