function document_write(o) {
document.write(document.getElementById(o).value);
}
function inner_html(o, s){
document.getElementById(o).innerHTML = s;
}