// JavaScript Document
function random_text()
{};
var random_text = new random_text();
var number = 0;
random_text[number++] = "<link type='text/css' href='css/micromat.css' rel='stylesheet' /> "
random_text[number++] = "<link type='text/css' href='css/micromat2.css' rel='stylesheet' /> "
random_text[number++] = "<link type='text/css' href='css/micromat3.css' rel='stylesheet' /> "
random_text[number++] = "<link type='text/css' href='css/micromat4.css' rel='stylesheet' /> "
random_text[number++] = "<link type='text/css' href='css/micromat5.css' rel='stylesheet' /> "
random_text[number++] = "<link type='text/css' href='css/micromat6.css' rel='stylesheet' /> "
var random_number = Math.floor(Math.random() * number);
document.write(random_text[random_number]);