function initHeader() {
  var lib = new Array(
  	"&#10155;",	// ➫
  	"&#9996;",	// ✌
  	"&#10163;",	// ➳
  	"&#9872;",	// ⚐
  	"&#11042;",	// ⬢
  	"&#9875;"		// ⚓
  );
  var x = Math.round( Math.random()*(lib.length-1) );
  document.write( lib[ x ] );
}
initHeader();
