<!--

/*\/¯\/¯\/¯\/¯\/¯\/¯\/¯\/¯\/¯\/¯\/¯\/¯\/¯\
\                                        /
/  =-=-=-=-=-= Text Changer =-=-=-=-=-=  \
\                                        /
/                                        \
\  Author:                               /
/     Nick Trevino                       \
\                                        /
/                                        \
\  Description:                          /
/     This code changes the text within  \
\     the <div> tag below. You can show  /
/     any number of lines, and it still  \
\     will show them all! It also stops  /
/     changing the text if the user has  \
\     their mouse over the text. If you  /
/     don't want mouse overs to stop it  \
\     from changing, then set stopOK to  /
/     0 instead of 1.                    \
\                                        /
/  Usage Tips:                           \
\     You can use this and the HTML tag  /
/     <img> to make it change different  \
\     images on a set timer! Or you can  /
/     also use it to change links using  \
\     the stopping feature so users can  /
/     click the links! See if there are  \
\     other ways you can use it.         /
/                                        \ 
\_/\_/\_/\_/\_/\_/\_/\_/\_/\_/\_/\_/\_/\*/


// Just put the different bits of text into the array separated by a comma.
// You can use HTML tags also. If you need to use quotes, use the single quote,
// ( ' ) or use the escape character ( \" ), both without parenthesis.

//textLines=new Array(	"The Sanctuary Is Selling Fast!",
textLines=new Array(	"Commercial Investment Properties",
						"Reserve Your Home Now!",
						"Affordable Condominiums",
						"Entry-Level Residences",
						"The Most Logical Upgrades",
						"Adaptive Reuse",
						"Signature Interiors",
						"Quality Refurbishing",
						"Prices That Make Sense",
						"Affordable Rental Properties");


// The Text Line to start on (The first line is line 0).
numOn=0;

// Set the delay time inbetween each change (in seconds, decimal values can be used).
delay=5;

// Set this variable to 0 to stop mouse overs from stopping 
// the text from changing.
stopOK=1;

change=1;
//window.onload=start;
//window.onload=runHeaderMessages;


//function start(){
function runHeaderMessages(){
  setTimeout("Change()",1);
}


function Change(){

// Check to see if the user has their mouse over the text.
 if(change==1){

// Make sure we are on a valid Line Number and if not, set it to
// the starting line.
  if(numOn>=textLines.length||numOn<0){numOn=0}

// Set the text inside the <div> to the specified line number.
  textChanger.innerHTML=textLines[numOn];

// Increase the line number by one to get the next string.
  numOn++;
 }

// Call this function again to write the string to the <div>.
  setTimeout("Change()",delay*1000);
}

// -->

