function cursor(o) {
o.style.cursor = "pointer";
}

function empty(o){
if(o.name=='seitennummer') {
o.value="";
}
}

function fill(o){
if(o.value==''){
if (o.name=='seitennummer') {
o.value=number;
}
}
}