function headerimage(){
var ran_number=Math.floor(Math.random()*23);
document.body.id = "internal" + ran_number;}