function random_img()
{};
var random_img = new random_img();
// Set the number of text strings to zero to start
var number = 0;
// Incremental list of all possible Text
random_img[number++] = "<img src=\"Images/134.jpg\" alt=\"Search\" style=\"border-bottom:solid #FFFFFF 5px;\" />"
random_img[number++] = "<img src=\"Images/HVAC.jpg\" alt=\"Search\" style=\"border-bottom:solid #FFFFFF 5px;\" />"
random_img[number++] = "<img src=\"Images/chiller.jpg\" alt=\"Search\" style=\"border-bottom:solid #FFFFFF 5px;\" />"
random_img[number++] = "<img src=\"Images/hvac_photo.jpg\" alt=\"Search\" style=\"border-bottom:solid #FFFFFF 5px;\" />"
// Create a random number with limits based on the number
// of possible random text strings
var random_number_img = Math.floor(Math.random() * number);
// Write out the random text to the browser
// document.write(random_text[random_number]); //