function home_resorts_dest() { document.write('
'); document.write('Puerto Rico › '); document.write(' › '); document.write(' › '); document.write('