/*functions for random flash banners*/
//Functions to write out the correct flash movie resource.
function movie1(){
document.write("")
}
function movie2(){
document.write("")
}
function movie3(){
document.write("")
}
function movie4(){
document.write("")
}
function movie5(){
document.write("")
}
function movie6(){
document.write("")
}
function movie7(){
document.write("")
}
function movie8(){
document.write("")
}
function movie9(){
document.write("")
}
function movie10(){
document.write("")
}
function movie11(){
document.write("")
}
function movie12(){
document.write("")
}
function movie13(){
document.write("")
}