var character = new Array (
"character01.png", 
"character02.png",
"character03.png",
"character04.png"
);
var i = Math.floor(4*Math.random());
document.write('<img src="_img/' + character[i] + '" alt="character" class="header_character" />');