var ic = 1;
var title = new Array(ic);
title[0] = '';
function pickRandom(range) {
if (Math.random)
return Math.round(Math.random() * (range-1));
else {
var now = new Date();
return (now.getTime() / 1000) % range; } }
var choice = pickRandom(ic);
document.writeln(''+ title[choice] +'Tools007');